Difference between revisions of "User Guide"
From BP Wiki
| Line 8: | Line 8: | ||
*[[TraceVis|Tracing and visualizing behavioral Java programs with TraceVis]] | *[[TraceVis|Tracing and visualizing behavioral Java programs with TraceVis]] | ||
*[[BPJ Model Checking|Verifying your application with the BPJ model checking]] | *[[BPJ Model Checking|Verifying your application with the BPJ model checking]] | ||
| − | *Using BPJ for hybrid fuzzy control with BFUZ | + | *[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ]. |
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]] | *[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]] | ||
*[[BPJ Programming Examples | BPJ Programming Examples]] | *[[BPJ Programming Examples | BPJ Programming Examples]] | ||
Revision as of 11:23, 17 April 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 BPJ model checking
- Using BPJ for hybrid fuzzy control with BFUZ.
- Working with Z3 Theorem Prover / SMT Solver
- BPJ Programming Examples
