Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 7: Line 7:
 
*[[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 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 ]]

Revision as of 11:34, 19 March 2014

BPJ User Guide  
Contents: