Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 4: Line 4:
 
*[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
+
*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]]
 
*[[BPMC | Verifying your application with the BP model checker ]]
 
*[[BPMC | Verifying your application with the BP model checker ]]
*Using BPJ for hybrid fuzzy control with BFUZ
+
*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 ]]

Revision as of 16:09, 11 February 2014

BPJ User Guide  
Contents: