User Guide

From BP Wiki
Jump to: navigation, search
User Guide

BPJ Documentation and Examples

  • Downloading, installing and configuring the BPJ library, related tools and examples
  • A slide presentation: a general introduction to behavioral programming
  • The BPJ library: about b-threads, events, b-programs, etc.
  • Symbolic and dynamic and b-threads
  • Tracing and visualizing behavioral Java programs with TraceVis
  • Verifying your application with the BPJ model checking
  • BPJ Programming Examples

Advanced Topics

  • Using BPJ for hybrid fuzzy control with BFUZ.
  • Working with Z3 Theorem Prover / SMT Solver
  • Adaptive Behavioral Programming
Retrieved from "https://wiki.weizmann.ac.il/bp/index.php?title=User_Guide&oldid=416"

Navigation menu

Views

  • Page
  • Discussion
  • View source
  • History

Personal tools

  • 10.150.52.13
  • Talk for this IP address
  • Log in

Navigation

  • Main page
  • Recent changes
  • Random page

 

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • This page was last modified on 29 April 2014, at 09:40.
  • This page has been accessed 108,636 times.
  • Privacy policy
  • About BP Wiki
  • Disclaimers