Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 8: Line 8:
 
*[[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).
+
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ].
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 
*[[BPJ Programming Examples | BPJ Programming Examples]]
 
*[[BPJ Programming Examples | BPJ Programming Examples]]

Revision as of 13:23, 17 April 2014

BPJ User Guide  
Contents: