This is a code appendix for a paper submitted to Science of Computer Programming.
- 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.