Difference between revisions of "User Guide"
From BP Wiki
| (34 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | = BPJ Documentation and Examples = | |
| − | *[[Download | Downloading, | + | *[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]] |
| − | *The BPJ library | + | *[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.]] |
| − | * | + | *[[Dynamic b-threads|Symbolic and dynamic and b-threads]] |
| − | + | *[[TraceVis|Tracing and visualizing behavioral Java programs with TraceVis]] | |
| − | *Verifying your application with | + | *[[BPJ Model Checking|Verifying your application with the BPJ model checking]] |
| − | + | *[[BPJ Programming Examples | BPJ Programming Examples]] | |
| − | * | + | |
| − | [[ | + | = Advanced Topics = |
| + | *[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]] | ||
| + | *[[Learning | Adaptive Behavioral Programming]] | ||
Latest revision as of 09:40, 29 April 2014
BPJ Documentation and Examples
- 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
