Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 1: Line 1:
'''BPJ User Guide &nbsp;<br>''' Contents:&nbsp;&nbsp;
+
'''BPJ User Guide &nbsp;'''<br/>Contents:&nbsp;&nbsp;
  
*[[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.]]
+
*[[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]]
 +
 
 +
 
 +
 
 +
&lt;accesscontrol&gt;Administrators,IT:Department,Sales (ro)&lt;/accesscontrol&gt;

Revision as of 13:59, 1 April 2014

BPJ User Guide  
Contents:  


<accesscontrol>Administrators,IT:Department,Sales (ro)</accesscontrol>