From BP Wiki
BPJ User Guide
- Downloading, installing and configuring the BPJ library, related tools and examples
- A slide presentation: general introduction to behavioral programming
- The BPJ library: about b-threads, events, b-programs, etc.
- Symbolic and dynamic and b-threads
- Tracing and visualizing behavioral Java programs with TraceVis
- Verifying your application with the BPJ model checking
- Using BPJ for hybrid fuzzy control with BFUZ.
- Working with Z3 Theorem Prover / SMT Solver
- BPJ Programming Examples