Difference between revisions of "User Guide"
From BP Wiki
(→BPJ User Guide) |
|||
| 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/ | + | *[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPintroduction.pdf A slide presentation: a 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.]] | ||
*[[Dynamic b-threads|Symbolic and dynamic and b-threads]] | *[[Dynamic b-threads|Symbolic and dynamic and b-threads]] | ||
| Line 9: | Line 9: | ||
*[[BPJ Programming Examples | BPJ Programming Examples]] | *[[BPJ Programming Examples | BPJ Programming Examples]] | ||
| − | = Advanced Topics = | + | = Advanced Topics = |
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf 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]] | ||
Revision as of 18:23, 27 April 2014
BPJ User Guide
- Downloading, installing and configuring the BPJ library, related tools and examples
- A slide presentation: a general introduction to behavioral programming
- The BPJ library: about b-threads, events, b-programs, etc.
- Symbolic and dynamic and b-threads
- Tracing and visualizing behavioral Java programs with TraceVis
- Verifying your application with the BPJ model checking
- BPJ Programming Examples
