Difference between revisions of "User Guide"

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

Revision as of 20:18, 27 April 2014

BPJ User Guide  
Contents: