New pages
From BP Wiki
- 08:56, 12 May 2014 Dining Philosophers (hist) [3,095 bytes] Assaf (Talk | contribs) (Created page with "= Dining Philosophers = In this example one can see (a) how multiple behaviors coexist independently of each other, with very simple rules for each and (b) how model-checking ...")
- 18:41, 27 April 2014 Learning (hist) [1,224 bytes] Assaf (Talk | contribs) (Created page with "= Adaptive Behavioral Programming = == Reference Materials == * Paper: [http://www.wisdom.weizmann.ac.il/~harel/papers/Adaptive%20BP.pdf Adaptive Behavioral Programming] * ...")
- 14:30, 16 April 2014 BP Blockly User Guide (hist) [11,073 bytes] Assaf (Talk | contribs) (Created page with "= BP Blockly User Guide = = Introduction = BP is implemented in Google Blockly by introducing new programming blocks, and by using the co-routines (generators) facility of ...")
- 11:56, 15 April 2014 Flight of a flock of birds (hist) [1,444 bytes] Assaf (Talk | contribs) (Created page with "= Simulating Flight of a Flock of Birds = In this example we simulate the flight of a flock of birds, with each bird having a simple set of rules implemented as b-threads. Th...")
- 11:17, 15 April 2014 Sudoku (hist) [3,971 bytes] Assaf (Talk | contribs) (Created page with "= Sudoku = In this example one can see two properties of behavioral programming * How different heuristics and pieces of knowledge about the problem domain can be used separ...")
- 10:02, 15 April 2014 Water Tap (hist) [2,452 bytes] Assaf (Talk | contribs) (Created page with "= Alternating Taps Example = public class AlternatingTaps implements BApplication { @SuppressWarnings("serial") static class TapEvent extends Event { public TapEvent(...")
- 08:33, 7 April 2014 Helicopter flight and mission (hist) [7,958 bytes] Assaf (Talk | contribs) (Created page with "= Helicopter Flight Example = This example demonstrates the control of a toy helicopter. The mission here is to paint a wall with different colors. This can be considered as ...")
- 07:35, 7 April 2014 Tic-Tac-Toe (hist) [4,006 bytes] Assaf (Talk | contribs) (Created page with "= A behavioral program for the game of Tic-Tac-Toe = * Download the example from LINK == b-Threads == === Rules of the game === * SquareTaken: block further marking of a ...")
- 07:29, 7 April 2014 BPJ Programming Examples (hist) [301 bytes] Assaf (Talk | contribs) (Created page with "= BPJ Programming Examples = * Tic-Tac-Toe * Simulating flight of a flock of birds * Sudoku *Helicopter flight a...")
- 11:35, 16 January 2014 JavaFlow (hist) [2,881 bytes] Assaf (Talk | contribs) (New page: =BPmc and JavaFlow= BPJ uses the package javaflow to perform backtracking as needed for model checking Depending on the run mode, BPJ instrument the application for javaflow�(user may ob...)
- 05:24, 16 January 2014 BPJ Model Checking API (hist) [4,211 bytes] Assaf (Talk | contribs) (New page: = BPmc API: Controlling model checking from your application = B-threads can call the following API methods *ToDo - of which object to control the model checking. * markNextVerificatio...) originally created as "BPmcAPI"
- 05:01, 16 January 2014 Z3BP (hist) [2,037 bytes] Assaf (Talk | contribs) (New page: = Verifying behavioral programs with the Z3 Theorem Prover / SMT Solver = == Installation == * Required Environment: Windows 7, Eclipse. * Install latest version of Z3 from Z3 Web Site (a...)