Difference between revisions of "User Guide"
From BP Wiki
| Line 2: | Line 2: | ||
*[[Download | Downloading, installing and configuring the BPJ library, related tools and examples]] | *[[Download | Downloading, installing and configuring the BPJ library, related tools and examples]] | ||
| − | *[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A general introduction to behavioral programming | + | *[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A power point presentation: general introduction to behavioral programming] |
*[[The_BPJ_Library | The BPJ library: b-threads, events, b-programs, event sets, etc.]] | *[[The_BPJ_Library | The BPJ library: b-threads, events, b-programs, event sets, etc.]] | ||
*Designing and developing your application | *Designing and developing your application | ||
Revision as of 10:33, 16 January 2014
BPJ User Guide
Contents:
- Downloading, installing and configuring the BPJ library, related tools and examples
- A power point presentation: general introduction to behavioral programming
- The BPJ library: b-threads, events, b-programs, event sets, etc.
- Designing and developing your application
- Running your application
- Symbolic and dynamic and b-threads
- Tracing and visualizing behavioral Java programs with TraceVis
- Verifying your application with the BP model checker
- Using BPJ for hybrid fuzzy control with BFUZ
- Working with Z3 Theorem Prover / SMT Solver
