Difference between revisions of "User Guide"
From BP Wiki
(→BPJ User Guide) |
|||
| Line 1: | Line 1: | ||
| − | = BPJ User Guide= | + | = BPJ User Guide= |
| − | + | ||
| − | + | ||
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]] | *[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]] | ||
Revision as of 18:21, 27 April 2014
BPJ User Guide
- 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.
- 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
