Difference between revisions of "User Guide"
From BP Wiki
| Line 4: | Line 4: | ||
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming] | *[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming] | ||
*[[The_BPJ_Library | The BPJ library: about b-threads, events, b-programs, etc.]] | *[[The_BPJ_Library | The BPJ library: about b-threads, events, b-programs, etc.]] | ||
| − | *Designing, developing and running your application | + | *Designing, developing and running your application (TBA. Meanwhile use general introduction prersentation and examples). |
*[[Dynamic b-threads | Symbolic and dynamic and b-threads]] | *[[Dynamic b-threads | Symbolic and dynamic and b-threads]] | ||
*[[ TraceVis | Tracing and visualizing behavioral Java programs with TraceVis]] | *[[ TraceVis | Tracing and visualizing behavioral Java programs with TraceVis]] | ||
*[[BPMC | Verifying your application with the BP model checker ]] | *[[BPMC | Verifying your application with the BP model checker ]] | ||
| − | *Using BPJ for hybrid fuzzy control with BFUZ | + | *Using BPJ for hybrid fuzzy control with BFUZ (To be added). |
*[[Z3BP | Working with Z3 Theorem Prover / SMT Solver ]] | *[[Z3BP | Working with Z3 Theorem Prover / SMT Solver ]] | ||
Revision as of 14:09, 11 February 2014
BPJ User Guide
Contents:
- 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.
- Designing, developing and running your application (TBA. Meanwhile use general introduction prersentation and examples).
- 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 (To be added).
- Working with Z3 Theorem Prover / SMT Solver
