Difference between revisions of "User Guide"
From BP Wiki
| Line 10: | Line 10: | ||
*[[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 | ||
| + | *[[Z3BP | Working with Z3 Theorem Prover / SMT Solver ]] | ||
[[Main Page|Prev]]<span style="line-height: 1.5em;"> </span>[[UserGuidePage1|Next]] | [[Main Page|Prev]]<span style="line-height: 1.5em;"> </span>[[UserGuidePage1|Next]] | ||
Revision as of 04:45, 16 January 2014
BPJ User Guide
Contents:
- Download, install and configure the BPJ library and the provided examples
- A general introduction to behavioral programming presentation
- 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
