Difference between revisions of "User Guide"
From BP Wiki
| Line 10: | Line 10: | ||
*Using BPJ for hybrid fuzzy control with BFUZ | *Using BPJ for hybrid fuzzy control with BFUZ | ||
*[[Z3BP | Working with Z3 Theorem Prover / SMT Solver ]] | *[[Z3BP | Working with Z3 Theorem Prover / SMT Solver ]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 10:38, 16 January 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
- 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
