/BPjs-SCP-OSP_CodeAppendix

Code appendix for "BPjs — A Behavioral Programming Tool Suite", paper submitted to Science of Computer Programming

Primary LanguageJava

Code Appendix for "BPjs - A Behavioral Programming Tool Suite"

This is a code appendix for a paper submitted to Science of Computer Programming.

Content

hello-world

The hello-world program presented at section 4.1.

GUI MazeRunner

GUI application for editing, running, and analyzing maze simulations. It also demonstrates how to use BPjs to embed a b-program in a traditional application. Presented at section 4.2.

StateSpaceMapper

A utility built on top of BPjs. Analyzes b-programs and creates a state-space graph diagram, in the dot language.

PerformanceTester

Code for an experiment measuring the performance of BPjs as a verification engine for b-programs.

BPJ+JPF

Code for an experiment measuring the performance of BPJ and NASA’s JavaPathFinder as a verification engine for b-programs.

README.adoc

this file.