https://wiki.weizmann.ac.il/bp/api.php?action=feedcontributions&feedformat=atom&user=AdminBP Wiki - User contributions [en]2026-06-10T23:45:08ZUser contributionsMediaWiki 1.22.4https://wiki.weizmann.ac.il/bp/index.php?title=User_GuideUser Guide2014-04-01T11:59:19Z<p>Admin: </p>
<hr />
<div>'''BPJ User Guide &nbsp;'''<br/>Contents:&nbsp;&nbsp;<br />
<br />
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]<br />
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming]<br />
*[[The BPJ Library|The BPJ library: about b-threads, events, b-programs, etc.]]<br />
*Designing, developing and running your application (TBA. Meanwhile use general introduction prersentation and examples).<br />
*[[Dynamic b-threads|Symbolic and dynamic and b-threads]]<br />
*[[TraceVis|Tracing and visualizing behavioral Java programs with TraceVis]]<br />
*[[BPJ Model Checking|Verifying your application with the BPJ model checking]]<br />
*Using BPJ for hybrid fuzzy control with BFUZ (To be added).<br />
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]</div>Adminhttps://wiki.weizmann.ac.il/bp/index.php?title=User_GuideUser Guide2014-04-01T11:59:10Z<p>Admin: </p>
<hr />
<div>'''BPJ User Guide &nbsp;'''<br/>Contents:&nbsp;&nbsp;<br />
<br />
*[[Download|Downloading, installing and configuring the BPJ library, related tools and examples]]<br />
*[http://www.wisdom.weizmann.ac.il/~bprogram/pres/BPJ%20Introduction.pdf A slide presentation: general introduction to behavioral programming]<br />
*[[The BPJ Library|The BPJ library: about b-threads, events, b-programs, etc.]]<br />
*Designing, developing and running your application (TBA. Meanwhile use general introduction prersentation and examples).<br />
*[[Dynamic b-threads|Symbolic and dynamic and b-threads]]<br />
*[[TraceVis|Tracing and visualizing behavioral Java programs with TraceVis]]<br />
*[[BPJ Model Checking|Verifying your application with the BPJ model checking]]<br />
*Using BPJ for hybrid fuzzy control with BFUZ (To be added).<br />
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]<br />
<br />
<br />
<br />
&lt;accesscontrol&gt;Administrators,IT:Department,Sales (ro)&lt;/accesscontrol&gt;</div>Admin