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=
 +
 
 +
Contents <br/>
  
 
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]
 
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]
Line 8: Line 10:
 
*[[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]]
 
*[[BPJ Programming Examples | BPJ Programming Examples]]
 +
 +
= Advanced Topics =
 
*[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]]

Revision as of 20:20, 27 April 2014

BPJ User Guide

Contents

Advanced Topics