Examples

• Hello World
• Hot Cold
• Using Z3-Solver SMT based BP
  • Integrating other solvers
• Dynamically Adding b-threads
• Using External Events
• Using Priority Based Event Selection Strategy (Tic Tac Toe)
• Learning a BProgram as a gym environment
• Verify a BProgram using Depth First Search (DFS)
• Symbolically verify a BProgram using PyNuSMV
• Example - Sokoban
• Analyzing Probabilistic Systems using PRISM integration