Difference between revisions of "User Guide"
From BP Wiki
| Line 1: | Line 1: | ||
| − | '''BPJ User Guide | + | '''BPJ User Guide '''<br/>Contents: |
| − | *[[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/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming] | *[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming] | ||
| − | *[[ | + | *[[The BPJ Library|The BPJ library: about b-threads, events, b-programs, etc.]] |
*Designing, developing and running your application (TBA. Meanwhile use general introduction prersentation and examples). | *Designing, developing and running your application (TBA. Meanwhile use general introduction prersentation and examples). | ||
| − | *[[Dynamic b-threads | Symbolic and dynamic and b-threads]] | + | *[[Dynamic b-threads|Symbolic and dynamic and b-threads]] |
| − | *[[ 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 (To be added). | *Using BPJ for hybrid fuzzy control with BFUZ (To be added). | ||
| − | *[[Z3BP | Working with Z3 Theorem Prover / SMT Solver ]] | + | *[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]] |
| + | |||
| + | |||
| + | |||
| + | <accesscontrol>Administrators,IT:Department,Sales (ro)</accesscontrol> | ||
Revision as of 11:59, 1 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 (To be added).
- Working with Z3 Theorem Prover / SMT Solver
<accesscontrol>Administrators,IT:Department,Sales (ro)</accesscontrol>
