User contributions
From BP Wiki
- 08:58, 12 May 2014 (diff | hist) . . (+16) . . Dining Philosophers (→Dining Philosophers) (current)
- 08:58, 12 May 2014 (diff | hist) . . (+71) . . Dining Philosophers (→Dining Philosophers)
- 08:56, 12 May 2014 (diff | hist) . . (-6) . . Dining Philosophers (→B-Threads)
- 08:56, 12 May 2014 (diff | hist) . . (+3,014) . . N Dining Philosophers (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 ...")
- 08:41, 12 May 2014 (diff | hist) . . (+47) . . BPJ Programming Examples (→BPJ Programming Examples) (current)
- 08:38, 12 May 2014 (diff | hist) . . (-6) . . Download (current)
- 08:30, 12 May 2014 (diff | hist) . . (+463) . . BP Blockly User Guide (current)
- 09:48, 29 April 2014 (diff | hist) . . (+233) . . Sudoku (→Playing b-threads) (current)
- 09:45, 29 April 2014 (diff | hist) . . (0) . . BPJ Programming Examples (→BPJ Programming Examples)
- 09:43, 29 April 2014 (diff | hist) . . (+1) . . BP Blockly User Guide (→Example: Alternating Taps)
- 09:43, 29 April 2014 (diff | hist) . . (-38) . . BP Blockly User Guide (→Example: Alternating Taps)
- 09:41, 29 April 2014 (diff | hist) . . (+34) . . Main Page (→BP in Blockly and JavaScript) (current)
- 09:40, 29 April 2014 (diff | hist) . . (+16) . . Main Page (→BP in Java)
- 09:40, 29 April 2014 (diff | hist) . . (+17) . . User Guide (current)
- 19:12, 28 April 2014 (diff | hist) . . (+43) . . BP Blockly User Guide (→Example: The Rocket Landing Game Example)
- 19:12, 28 April 2014 (diff | hist) . . (+3) . . BP Blockly User Guide (→Example: Alternating Taps)
- 19:11, 28 April 2014 (diff | hist) . . (+86) . . BP Blockly User Guide (→Example: Alternating Taps)
- 18:41, 28 April 2014 (diff | hist) . . (+351) . . BP Blockly User Guide (→Additional Examples)
- 18:36, 28 April 2014 (diff | hist) . . (-15) . . BP Blockly User Guide (→Additional Examples)
- 18:34, 28 April 2014 (diff | hist) . . (+2) . . BP Blockly User Guide (→Example: Alternating Taps)
- 18:33, 28 April 2014 (diff | hist) . . (-10) . . BP Blockly User Guide (→Example: Alternating Taps)
- 18:31, 28 April 2014 (diff | hist) . . (+1,158) . . BP Blockly User Guide (→Example: Alternating Taps)
- 18:07, 28 April 2014 (diff | hist) . . (-177) . . BP Blockly User Guide
- 17:55, 28 April 2014 (diff | hist) . . (+309) . . BP Blockly User Guide (→BP Programming Blocks)
- 17:49, 28 April 2014 (diff | hist) . . (+9) . . BP Blockly User Guide (→Introduction)
- 17:48, 28 April 2014 (diff | hist) . . (+111) . . BP Blockly User Guide (→Introduction)
- 16:47, 28 April 2014 (diff | hist) . . (-2) . . Helicopter flight and mission (→Basic Composite Behavior)
- 14:42, 28 April 2014 (diff | hist) . . (+374) . . BP Blockly User Guide (→BP Programming Blocks)
- 14:38, 28 April 2014 (diff | hist) . . (-208) . . BP Blockly User Guide (→Programming)
- 14:37, 28 April 2014 (diff | hist) . . (+218) . . BP Blockly User Guide (→The B-threads)
- 11:46, 28 April 2014 (diff | hist) . . (-2) . . BP Blockly User Guide (→The B-threads)
- 11:46, 28 April 2014 (diff | hist) . . (+199) . . BP Blockly User Guide (→The B-threads)
- 11:44, 28 April 2014 (diff | hist) . . (+277) . . BP Blockly User Guide
- 11:38, 28 April 2014 (diff | hist) . . (-1) . . BP Blockly User Guide (→The B-threads)
- 11:38, 28 April 2014 (diff | hist) . . (+2) . . BP Blockly User Guide (→Actuator Events)
- 11:38, 28 April 2014 (diff | hist) . . (-7) . . BP Blockly User Guide (→Sensor Events)
- 11:37, 28 April 2014 (diff | hist) . . (+2,556) . . BP Blockly User Guide
- 11:03, 28 April 2014 (diff | hist) . . (-125) . . Helicopter flight and mission (→Incremental Development Notes)
- 11:02, 28 April 2014 (diff | hist) . . (+19) . . Helicopter flight and mission (→Incremental Development Notes)
- 11:02, 28 April 2014 (diff | hist) . . (+14) . . Helicopter flight and mission (→Incremental Development Notes)
- 10:52, 28 April 2014 (diff | hist) . . (+152) . . Helicopter flight and mission (→Detailed Example: Wall Painting)
- 10:50, 28 April 2014 (diff | hist) . . (+28) . . Helicopter flight and mission (→Detailed Example: Wall Painting)
- 10:49, 28 April 2014 (diff | hist) . . (+64) . . Helicopter flight and mission (→Detailed Example: Wall Painting)
- 10:47, 28 April 2014 (diff | hist) . . (0) . . Helicopter flight and mission (→Basic Composite Behavior)
- 10:47, 28 April 2014 (diff | hist) . . (+31) . . Helicopter flight and mission (→Basic Composite Behavior)
- 10:43, 28 April 2014 (diff | hist) . . (+495) . . Helicopter flight and mission (→Helicopter Flight Example)
- 10:14, 28 April 2014 (diff | hist) . . (+56) . . Helicopter flight and mission (→Helicopter Flight Example)
- 10:05, 28 April 2014 (diff | hist) . . (-63) . . Flight of a flock of birds (→Requirements - from each bird) (current)
- 10:01, 28 April 2014 (diff | hist) . . (+3) . . User Guide (→Advanced Topics)
- 10:01, 28 April 2014 (diff | hist) . . (+2) . . Z3BP (→Verifying your application) (current)
- 19:33, 27 April 2014 (diff | hist) . . (-3) . . Helicopter flight and mission (→Incremental Development Notes)
- 19:32, 27 April 2014 (diff | hist) . . (+136) . . Helicopter flight and mission (→Incremental Development Notes)
- 19:20, 27 April 2014 (diff | hist) . . (+268) . . BPJ Model Checking (→Introduction) (current)
- 19:17, 27 April 2014 (diff | hist) . . (+177) . . BPJ Model Checking (→Introduction)
- 19:15, 27 April 2014 (diff | hist) . . (-43) . . Tic-Tac-Toe (→Verification Example) (current)
- 19:14, 27 April 2014 (diff | hist) . . (+43) . . Tic-Tac-Toe
- 19:12, 27 April 2014 (diff | hist) . . (+1) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 19:11, 27 April 2014 (diff | hist) . . (-7) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 19:11, 27 April 2014 (diff | hist) . . (-5) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 19:09, 27 April 2014 (diff | hist) . . (+8) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 19:07, 27 April 2014 (diff | hist) . . (+2) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 19:07, 27 April 2014 (diff | hist) . . (+1) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 19:05, 27 April 2014 (diff | hist) . . (+233) . . Flight of a flock of birds (→Simulating Flight of a Flock of Birds)
- 18:53, 27 April 2014 (diff | hist) . . (+9) . . Learning (→Reference Materials)
- 18:52, 27 April 2014 (diff | hist) . . (+5) . . Learning (→Reference Materials)
- 18:52, 27 April 2014 (diff | hist) . . (-31) . . Learning (→Adaptive Behavioral Programming)
- 18:51, 27 April 2014 (diff | hist) . . (+1) . . Learning (→Reference Materials)
- 18:51, 27 April 2014 (diff | hist) . . (-8) . . Learning (→Reference Materials)
- 18:50, 27 April 2014 (diff | hist) . . (-17) . . Learning (→Adaptive Behavioral Programming)
- 18:50, 27 April 2014 (diff | hist) . . (+461) . . Learning (→Adaptive Behavioral Programming)
- 18:47, 27 April 2014 (diff | hist) . . (+485) . . Learning (→Contens of reference material)
- 18:41, 27 April 2014 (diff | hist) . . (+317) . . N Learning (Created page with "= Adaptive Behavioral Programming = == Reference Materials == * Paper: [http://www.wisdom.weizmann.ac.il/~harel/papers/Adaptive%20BP.pdf Adaptive Behavioral Programming] * ...")
- 18:38, 27 April 2014 (diff | hist) . . (+45) . . User Guide
- 18:23, 27 April 2014 (diff | hist) . . (-3) . . User Guide
- 18:21, 27 April 2014 (diff | hist) . . (-17) . . User Guide (→BPJ User Guide)
- 18:20, 27 April 2014 (diff | hist) . . (+3) . . User Guide
- 18:18, 27 April 2014 (diff | hist) . . (0) . . User Guide
- 16:03, 27 April 2014 (diff | hist) . . (-20) . . Main Page
- 13:16, 27 April 2014 (diff | hist) . . (+51) . . Z3BP (→Installation)
- 13:14, 27 April 2014 (diff | hist) . . (+30) . . Z3BP (→Installation)
- 12:51, 27 April 2014 (diff | hist) . . (-30) . . Z3BP (→Installation)
- 12:49, 27 April 2014 (diff | hist) . . (-18) . . TraceVis (→Navigating the display) (current)
- 12:43, 27 April 2014 (diff | hist) . . (-19) . . RunMode (→-Drecursive=true)
- 12:42, 27 April 2014 (diff | hist) . . (+6) . . RunMode (→-Dsearch=BFS or -Dsearch=DFS)
- 12:40, 27 April 2014 (diff | hist) . . (+7) . . The BPJ Library (current)
- 12:39, 27 April 2014 (diff | hist) . . (+570) . . The BPJ Library
- 12:34, 27 April 2014 (diff | hist) . . (+224) . . The BPJ Library (→Dynamic B-Threads)
- 12:29, 27 April 2014 (diff | hist) . . (+308) . . The BPJ Library (→Dynamic B-Threads)
- 12:28, 27 April 2014 (diff | hist) . . (-310) . . The BPJ Library (→Injecting External Events)
- 12:27, 27 April 2014 (diff | hist) . . (+31) . . The BPJ Library
- 12:25, 27 April 2014 (diff | hist) . . (-4) . . The BPJ Library (→Dynamic B-Threads)
- 12:25, 27 April 2014 (diff | hist) . . (-1) . . The BPJ Library
- 12:23, 27 April 2014 (diff | hist) . . (+255) . . The BPJ Library (→Injecting External Events)
- 12:20, 27 April 2014 (diff | hist) . . (-253) . . The BPJ Library
- 12:03, 27 April 2014 (diff | hist) . . (+33) . . TraceVis
- 12:01, 27 April 2014 (diff | hist) . . (+445) . . TraceVis
- 07:38, 27 April 2014 (diff | hist) . . (-122) . . User Guide
- 11:23, 17 April 2014 (diff | hist) . . (+45) . . User Guide
- 09:59, 17 April 2014 (diff | hist) . . (+33) . . Water Tap (→Alternating Taps Example) (current)
- 09:56, 17 April 2014 (diff | hist) . . (0) . . Tic-Tac-Toe (→Strategies)
- 16:06, 16 April 2014 (diff | hist) . . (-5) . . BP Blockly User Guide (→Programming)
- 16:06, 16 April 2014 (diff | hist) . . (-17) . . BP Blockly User Guide (→Programming)
- 16:05, 16 April 2014 (diff | hist) . . (+257) . . BP Blockly User Guide (→Programming)
- 16:04, 16 April 2014 (diff | hist) . . (+45) . . BP Blockly User Guide (→Programming)
- 16:02, 16 April 2014 (diff | hist) . . (+4) . . BP Blockly User Guide (→Programming)
- 16:02, 16 April 2014 (diff | hist) . . (+2) . . BP Blockly User Guide (→Programming)
- 16:01, 16 April 2014 (diff | hist) . . (+345) . . BP Blockly User Guide
- 15:49, 16 April 2014 (diff | hist) . . (+6) . . BP Blockly User Guide (→Programming)
- 15:46, 16 April 2014 (diff | hist) . . (-6) . . BP Blockly User Guide (→Programming)
- 15:45, 16 April 2014 (diff | hist) . . (-4) . . BP Blockly User Guide (→Programming)
- 15:44, 16 April 2014 (diff | hist) . . (-19) . . BP Blockly User Guide (→Programming)
- 15:43, 16 April 2014 (diff | hist) . . (+18) . . BP Blockly User Guide
- 15:41, 16 April 2014 (diff | hist) . . (-11) . . BP Blockly User Guide (→Programming)
- 15:41, 16 April 2014 (diff | hist) . . (+679) . . BP Blockly User Guide
- 15:21, 16 April 2014 (diff | hist) . . (+155) . . BP Blockly User Guide (→BP Programming Blocks)
- 15:19, 16 April 2014 (diff | hist) . . (+1,491) . . BP Blockly User Guide (→Programming)
- 15:08, 16 April 2014 (diff | hist) . . (+1) . . BP Blockly User Guide (→Programming)
- 15:07, 16 April 2014 (diff | hist) . . (-134) . . BP Blockly User Guide (→Programming)
- 15:07, 16 April 2014 (diff | hist) . . (+115) . . BP Blockly User Guide
- 15:01, 16 April 2014 (diff | hist) . . (+1,558) . . BP Blockly User Guide
- 14:41, 16 April 2014 (diff | hist) . . (-4) . . BP Blockly User Guide (→Installation / Getting started)
- 14:40, 16 April 2014 (diff | hist) . . (+61) . . BP Blockly User Guide
- 14:35, 16 April 2014 (diff | hist) . . (-4) . . BP Blockly User Guide
- 14:34, 16 April 2014 (diff | hist) . . (+2) . . BP Blockly User Guide
- 14:34, 16 April 2014 (diff | hist) . . (-3) . . BP Blockly User Guide
- 14:33, 16 April 2014 (diff | hist) . . (+2) . . BP Blockly User Guide
- 14:32, 16 April 2014 (diff | hist) . . (-1) . . BP Blockly User Guide
- 14:32, 16 April 2014 (diff | hist) . . (-37) . . BP Blockly User Guide
- 14:30, 16 April 2014 (diff | hist) . . (+873) . . N BP Blockly User Guide (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 ...")
- 14:23, 16 April 2014 (diff | hist) . . (+50) . . Main Page
- 15:01, 15 April 2014 (diff | hist) . . (-28) . . Flight of a flock of birds
- 11:57, 15 April 2014 (diff | hist) . . (-7) . . Flight of a flock of birds
- 11:56, 15 April 2014 (diff | hist) . . (+755) . . N Flight of a flock of birds (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:43, 15 April 2014 (diff | hist) . . (+5) . . BPJ Programming Examples (→BPJ Programming Examples)
- 11:41, 15 April 2014 (diff | hist) . . (+34) . . Sudoku (→Design Notes)
- 11:40, 15 April 2014 (diff | hist) . . (+2,134) . . Sudoku (→Events)
- 11:18, 15 April 2014 (diff | hist) . . (+3) . . Sudoku (→Events)
- 11:18, 15 April 2014 (diff | hist) . . (-13) . . Sudoku
- 11:17, 15 April 2014 (diff | hist) . . (+1,051) . . N Sudoku (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:07, 15 April 2014 (diff | hist) . . (+147) . . Water Tap
- 10:06, 15 April 2014 (diff | hist) . . (+365) . . Water Tap (→Alternating Taps Example)
- 10:03, 15 April 2014 (diff | hist) . . (+231) . . Water Tap (→Alternating Taps Example)
- 10:02, 15 April 2014 (diff | hist) . . (+1,676) . . N Water Tap (Created page with "= Alternating Taps Example = public class AlternatingTaps implements BApplication { @SuppressWarnings("serial") static class TapEvent extends Event { public TapEvent(...")
- 10:00, 15 April 2014 (diff | hist) . . (+29) . . BPJ Programming Examples (→BPJ Programming Examples)
- 09:58, 15 April 2014 (diff | hist) . . (+104) . . Helicopter flight and mission (→LSC Integration)
- 09:54, 15 April 2014 (diff | hist) . . (-14) . . Helicopter flight and mission (→Design Notes)
- 09:54, 15 April 2014 (diff | hist) . . (+1,215) . . Helicopter flight and mission
- 09:43, 15 April 2014 (diff | hist) . . (+234) . . Helicopter flight and mission (→LSC Integration)
- 09:41, 15 April 2014 (diff | hist) . . (+11) . . Helicopter flight and mission (→Actuator b-threads)
- 09:40, 15 April 2014 (diff | hist) . . (+25) . . Helicopter flight and mission (→BPJ b-threads)
- 09:39, 15 April 2014 (diff | hist) . . (+13) . . Helicopter flight and mission (→General control events)
- 09:38, 15 April 2014 (diff | hist) . . (+28) . . Helicopter flight and mission (→General control events)
- 09:37, 15 April 2014 (diff | hist) . . (+355) . . Helicopter flight and mission
- 09:31, 15 April 2014 (diff | hist) . . (0) . . N File:FixWind.jpg (current)
- 09:31, 15 April 2014 (diff | hist) . . (+129) . . Helicopter flight and mission (→Incremental Development Notes)
- 09:30, 15 April 2014 (diff | hist) . . (0) . . N File:Color-thick.jpg (current)
- 09:30, 15 April 2014 (diff | hist) . . (+65) . . Helicopter flight and mission (→Incremental Development Notes)
- 09:29, 15 April 2014 (diff | hist) . . (0) . . N File:Color-thin.jpg (current)
- 09:29, 15 April 2014 (diff | hist) . . (+121) . . Helicopter flight and mission (→Incremental Development Notes)
- 09:27, 15 April 2014 (diff | hist) . . (0) . . N File:Black - thin.jpg (current)
- 09:27, 15 April 2014 (diff | hist) . . (+8) . . Helicopter flight and mission (→Inceremental Development Notes)
- 09:26, 15 April 2014 (diff | hist) . . (0) . . N File:Xxx.jpg (current)
- 09:25, 15 April 2014 (diff | hist) . . (+8) . . Helicopter flight and mission (→Inceremental Development Notes)
- 09:25, 15 April 2014 (diff | hist) . . (-11) . . Helicopter flight and mission (→Inceremental Development Notes)
- 09:25, 15 April 2014 (diff | hist) . . (+2) . . Helicopter flight and mission (→Environment Simulation)
- 09:23, 15 April 2014 (diff | hist) . . (+39) . . Helicopter flight and mission
- 09:21, 15 April 2014 (diff | hist) . . (0) . . Helicopter flight and mission (→General control b-threads)
- 09:21, 15 April 2014 (diff | hist) . . (+2,511) . . Helicopter flight and mission (→Helicopter Flight Example)
- 08:42, 15 April 2014 (diff | hist) . . (+824) . . Tic-Tac-Toe (→A behavioral program for the game of Tic-Tac-Toe)
- 08:41, 15 April 2014 (diff | hist) . . (-412) . . Tic-Tac-Toe (→b-Threads)
- 08:33, 7 April 2014 (diff | hist) . . (+1,393) . . N Helicopter flight and mission (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 ...")
- 08:14, 7 April 2014 (diff | hist) . . (+127) . . Tic-Tac-Toe
- 08:13, 7 April 2014 (diff | hist) . . (+464) . . Tic-Tac-Toe (→b-Threads)
- 08:09, 7 April 2014 (diff | hist) . . (+1,015) . . Tic-Tac-Toe (→Strategies)
- 07:58, 7 April 2014 (diff | hist) . . (-99) . . Tic-Tac-Toe (→Game Description)
- 07:57, 7 April 2014 (diff | hist) . . (-163) . . Tic-Tac-Toe (→Game Description)
- 07:57, 7 April 2014 (diff | hist) . . (-6) . . Tic-Tac-Toe (→A behavioral program for the game of Tic-Tac-Toe)
- 07:56, 7 April 2014 (diff | hist) . . (0) . . N File:TTT01.jpg (current)
- 07:54, 7 April 2014 (diff | hist) . . (+279) . . Tic-Tac-Toe
- 07:54, 7 April 2014 (diff | hist) . . (+1) . . Tic-Tac-Toe
- 07:53, 7 April 2014 (diff | hist) . . (+9) . . Tic-Tac-Toe
- 07:51, 7 April 2014 (diff | hist) . . (-55) . . Tic-Tac-Toe
- 07:48, 7 April 2014 (diff | hist) . . (+45) . . Tic-Tac-Toe (→Game Description)
- 07:46, 7 April 2014 (diff | hist) . . (-11) . . Tic-Tac-Toe
- 07:42, 7 April 2014 (diff | hist) . . (+900) . . Tic-Tac-Toe
- 07:35, 7 April 2014 (diff | hist) . . (+564) . . N Tic-Tac-Toe (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 (diff | hist) . . (+220) . . N BPJ Programming Examples (Created page with "= BPJ Programming Examples = * Tic-Tac-Toe * Simulating flight of a flock of birds * Sudoku *Helicopter flight a...")
- 07:24, 7 April 2014 (diff | hist) . . (+57) . . User Guide
- 14:09, 11 February 2014 (diff | hist) . . (+85) . . User Guide
- 14:04, 11 February 2014 (diff | hist) . . (-1,977) . . MCInstrumentation (Replacing page with 'OLD PAGE - DELETE') (current)
- 14:00, 11 February 2014 (diff | hist) . . (-21) . . TraceVis (→Cell types display)
- 13:56, 11 February 2014 (diff | hist) . . (0) . . N File:TraceVisMenu1.jpg (current)
- 13:55, 11 February 2014 (diff | hist) . . (+1) . . TraceVis (→TraceVis Setup and Activation)
- 13:54, 11 February 2014 (diff | hist) . . (+4) . . TraceVis (→TraceVis Setup and Activation)
- 13:53, 11 February 2014 (diff | hist) . . (0) . . N File:TraceVisMenu.jpg (current)
- 13:51, 11 February 2014 (diff | hist) . . (+1) . . TraceVis (→TraceVis Setup and Activation)
- 13:50, 11 February 2014 (diff | hist) . . (+24) . . TraceVis (→TraceVis Setup and Activation)
- 13:47, 11 February 2014 (diff | hist) . . (+4) . . TraceVis (→The TraceVis display)
- 13:46, 11 February 2014 (diff | hist) . . (0) . . N File:Example.jpg (current)
- 13:45, 11 February 2014 (diff | hist) . . (+74) . . TraceVis (→The TraceVis display)
- 13:42, 11 February 2014 (diff | hist) . . (+28) . . BPJ Model Checking API (→BPmc API: Controlling model checking from your application)
- 13:41, 11 February 2014 (diff | hist) . . (+29) . . BPJ Model Checking (→Additional Information)
- 13:40, 11 February 2014 (diff | hist) . . (+23) . . BPJ Model Checking (→Additional Information)
- 13:40, 11 February 2014 (diff | hist) . . (+59) . . BPJ Model Checking (→Introduction)
- 13:39, 11 February 2014 (diff | hist) . . (-18) . . BPJ Model Checking (→Additional Information)
- 13:38, 11 February 2014 (diff | hist) . . (-10) . . RunMode
- 13:37, 11 February 2014 (diff | hist) . . (-2) . . BPJ Model Checking API (→setBThreadEpsilon())
- 13:37, 11 February 2014 (diff | hist) . . (+100) . . Nondetermism (→Nondeterministic execution in BPmc)
- 13:36, 11 February 2014 (diff | hist) . . (+331) . . BPJ Model Checking API (→BPmc API: Controlling model checking from your application)
- 13:30, 11 February 2014 (diff | hist) . . (+177) . . RunMode (→Run-control Parameters)
- 13:27, 11 February 2014 (diff | hist) . . (+7) . . RunMode (→Application-specific parameters)
- 13:25, 11 February 2014 (diff | hist) . . (-1) . . RunMode (→Application-specific parameters)
- 13:24, 11 February 2014 (diff | hist) . . (+26) . . RunMode (→Application-specific parameters)
- 13:23, 11 February 2014 (diff | hist) . . (+30) . . RunMode (→Application-specific parameters)
- 13:21, 11 February 2014 (diff | hist) . . (+104) . . RunMode (→-Xmn=,-Xms=,-Xmx=)
- 13:15, 11 February 2014 (diff | hist) . . (-10) . . JavaFlow (→Programming Tip)
- 13:15, 11 February 2014 (diff | hist) . . (+512) . . JavaFlow
- 13:09, 11 February 2014 (diff | hist) . . (+3) . . RunMode (→Memory Management Parameters)
- 13:09, 11 February 2014 (diff | hist) . . (+22) . . RunMode
- 13:08, 11 February 2014 (diff | hist) . . (+172) . . RunMode (→Memory Management Parameters)
- 13:07, 11 February 2014 (diff | hist) . . (+3) . . RunMode (→-Xmn,-Xms,-Xmx)
- 13:06, 11 February 2014 (diff | hist) . . (+23) . . RunMode (→Memory Allocation Parameters)
- 13:05, 11 February 2014 (diff | hist) . . (+11) . . RunMode (→Memory parameters)
- 13:01, 11 February 2014 (diff | hist) . . (-230) . . Nondetermism (→Specifiying nondeterminism)
- 12:59, 11 February 2014 (diff | hist) . . (+929) . . Nondetermism (→Specifiying nondeterminism)
- 12:50, 11 February 2014 (diff | hist) . . (+9) . . BPJ Model Checking API (→setBThreadEpsilon(double))
- 12:50, 11 February 2014 (diff | hist) . . (+458) . . BPJ Model Checking API
- 12:41, 11 February 2014 (diff | hist) . . (+44) . . RunMode (→-DrunMode=MCDet)
- 12:40, 11 February 2014 (diff | hist) . . (+108) . . BPJ Model Checking API (→labelNextVerificationState())
- 12:38, 11 February 2014 (diff | hist) . . (+492) . . BPJ Model Checking API (→labelNextVerificationState())
- 12:37, 11 February 2014 (diff | hist) . . (+85) . . BPJ Model Checking API (→labelNextVerificationState())
- 12:34, 11 February 2014 (diff | hist) . . (+158) . . BPJ Model Checking API (→BPmc API: Controlling model checking from your application)
- 12:28, 11 February 2014 (diff | hist) . . (+31) . . BPJ Model Checking API (→BPmc API: Controlling model checking from your application)
- 14:51, 16 January 2014 (diff | hist) . . (+40) . . TraceVis
- 14:42, 16 January 2014 (diff | hist) . . (0) . . JavaFlow
- 14:42, 16 January 2014 (diff | hist) . . (0) . . JavaFlow
- 14:42, 16 January 2014 (diff | hist) . . (0) . . JavaFlow
- 14:39, 16 January 2014 (diff | hist) . . (-16) . . JavaFlow
- 14:38, 16 January 2014 (diff | hist) . . (0) . . N File:Dshallow.png (current)
- 14:37, 16 January 2014 (diff | hist) . . (+135) . . JavaFlow
- 14:33, 16 January 2014 (diff | hist) . . (+1) . . JavaFlow (→Programming requirements for model checking)
- 14:33, 16 January 2014 (diff | hist) . . (-2) . . BPJ Model Checking
- 13:14, 16 January 2014 (diff | hist) . . (+26) . . JavaFlow
- 13:07, 16 January 2014 (diff | hist) . . (-5) . . BPJ Model Checking
- 13:07, 16 January 2014 (diff | hist) . . (-12) . . BPJ Model Checking
- 13:06, 16 January 2014 (diff | hist) . . (-2) . . BPJ Model Checking
- 13:06, 16 January 2014 (diff | hist) . . (+172) . . JavaFlow
- 12:55, 16 January 2014 (diff | hist) . . (-7) . . JavaFlow
- 11:59, 16 January 2014 (diff | hist) . . (+458) . . JavaFlow
- 11:52, 16 January 2014 (diff | hist) . . (+64) . . JavaFlow
- 11:50, 16 January 2014 (diff | hist) . . (-4) . . JavaFlow
- 11:50, 16 January 2014 (diff | hist) . . (-5) . . JavaFlow
- 11:49, 16 January 2014 (diff | hist) . . (+257) . . JavaFlow
- 11:35, 16 January 2014 (diff | hist) . . (+1,270) . . N JavaFlow (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...)
- 11:33, 16 January 2014 (diff | hist) . . (-2) . . BPJ Model Checking
- 11:33, 16 January 2014 (diff | hist) . . (+65) . . BPJ Model Checking
- 11:29, 16 January 2014 (diff | hist) . . (+20) . . BPJ Model Checking
- 11:28, 16 January 2014 (diff | hist) . . (0) . . BPJ Model Checking
- 11:28, 16 January 2014 (diff | hist) . . (+12) . . BPJ Model Checking
- 11:27, 16 January 2014 (diff | hist) . . (-51) . . BPJ Model Checking
- 10:49, 16 January 2014 (diff | hist) . . (+3,540) . . RunMode
- 10:46, 16 January 2014 (diff | hist) . . (-2) . . BPJ Model Checking
- 10:45, 16 January 2014 (diff | hist) . . (+76) . . BPJ Model Checking
- 10:39, 16 January 2014 (diff | hist) . . (-57) . . The BPJ Library
- 10:38, 16 January 2014 (diff | hist) . . (-87) . . User Guide
- 10:37, 16 January 2014 (diff | hist) . . (+1) . . Main Page
- 10:36, 16 January 2014 (diff | hist) . . (+42) . . Main Page
- 10:36, 16 January 2014 (diff | hist) . . (-43) . . Download
- 10:35, 16 January 2014 (diff | hist) . . (-52) . . Download
- 10:35, 16 January 2014 (diff | hist) . . (-17) . . User Guide
- 10:34, 16 January 2014 (diff | hist) . . (-6) . . User Guide
- 10:33, 16 January 2014 (diff | hist) . . (-6) . . User Guide
- 10:33, 16 January 2014 (diff | hist) . . (+13) . . User Guide
- 10:32, 16 January 2014 (diff | hist) . . (+10) . . User Guide
- 05:36, 16 January 2014 (diff | hist) . . (+46) . . BPJ Model Checking API
- 05:33, 16 January 2014 (diff | hist) . . (+580) . . BPJ Model Checking API
- 05:24, 16 January 2014 (diff | hist) . . (+1,844) . . N BPJ Model Checking API (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...)
- 05:16, 16 January 2014 (diff | hist) . . (+13) . . BPJ Model Checking
- 05:05, 16 January 2014 (diff | hist) . . (-9) . . Z3BP
- 05:05, 16 January 2014 (diff | hist) . . (+294) . . Z3BP
- 05:01, 16 January 2014 (diff | hist) . . (-18) . . Z3BP
- 05:01, 16 January 2014 (diff | hist) . . (+1,717) . . N Z3BP (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...)
- 04:45, 16 January 2014 (diff | hist) . . (+57) . . User Guide
- 04:37, 16 January 2014 (diff | hist) . . (-83) . . TraceVis
- 04:36, 16 January 2014 (diff | hist) . . (+849) . . TraceVis
- 04:23, 16 January 2014 (diff | hist) . . (-2) . . TraceVis (→Collapsing and expanding data)
- 04:06, 16 January 2014 (diff | hist) . . (+1) . . TraceVis
- 03:59, 16 January 2014 (diff | hist) . . (+4) . . MCInstrumentation
- 03:58, 16 January 2014 (diff | hist) . . (+2) . . MCInstrumentation
- 13:15, 8 January 2014 (diff | hist) . . (+388) . . The BPJ Library (→Dynamic B-Threads)
- 12:56, 8 January 2014 (diff | hist) . . (-25) . . The BPJ Library
- 12:56, 8 January 2014 (diff | hist) . . (-90) . . The BPJ Library
- 12:49, 8 January 2014 (diff | hist) . . (-55) . . Download (→Download and Installation)
- 12:48, 5 August 2013 (diff | hist) . . (-557) . . The BPJ Library
- 12:45, 5 August 2013 (diff | hist) . . (+34) . . The BPJ Library
- 12:42, 5 August 2013 (diff | hist) . . (+8) . . The BPJ Library
- 12:41, 5 August 2013 (diff | hist) . . (+1) . . The BPJ Library
- 12:40, 5 August 2013 (diff | hist) . . (0) . . The BPJ Library
- 12:39, 5 August 2013 (diff | hist) . . (-7) . . The BPJ Library
- 12:39, 5 August 2013 (diff | hist) . . (+1,227) . . The BPJ Library
- 12:33, 5 August 2013 (diff | hist) . . (+17) . . User Guide
- 12:32, 5 August 2013 (diff | hist) . . (+13) . . User Guide
- 12:31, 5 August 2013 (diff | hist) . . (+12) . . User Guide
- 12:30, 5 August 2013 (diff | hist) . . (+6) . . Dynamic b-threads (current)
- 12:30, 5 August 2013 (diff | hist) . . (+4) . . Dynamic b-threads
- 12:29, 5 August 2013 (diff | hist) . . (-18) . . Dynamic b-threads
- 12:28, 5 August 2013 (diff | hist) . . (+62) . . Dynamic b-threads
- 12:25, 5 August 2013 (diff | hist) . . (+3,342) . . Dynamic b-threads
- 12:18, 5 August 2013 (diff | hist) . . (+17) . . User Guide
- 10:35, 5 August 2013 (diff | hist) . . (-15) . . The BPJ Library
- 10:35, 5 August 2013 (diff | hist) . . (+1,180) . . The BPJ Library
- 10:17, 5 August 2013 (diff | hist) . . (+36) . . User Guide
- 09:57, 5 August 2013 (diff | hist) . . (-6) . . TraceVis
- 09:56, 5 August 2013 (diff | hist) . . (0) . . TraceVis
- 09:56, 5 August 2013 (diff | hist) . . (+1,044) . . TraceVis
- 09:48, 5 August 2013 (diff | hist) . . (-5) . . TraceVis
- 09:48, 5 August 2013 (diff | hist) . . (+1,183) . . TraceVis
- 09:37, 5 August 2013 (diff | hist) . . (+1,051) . . TraceVis
- 09:34, 5 August 2013 (diff | hist) . . (+1,460) . . N TraceVis (New page: = Debugging and visualizing behavioral Java programs with TraceVis The TraceVis tools provides visualization for the concurrent execution of multiple b-threads, with indications of the e...)
- 09:23, 5 August 2013 (diff | hist) . . (+56) . . User Guide
- 09:21, 5 August 2013 (diff | hist) . . (+641) . . N Dynamic b-threads (New page: = Dynamic b-threads = * B-threads are normally instantiated and added to the b-program in the runBApplication method. * However, b-threads can also be created dynamically in two ways: ...)
- 09:16, 5 August 2013 (diff | hist) . . (+70) . . User Guide
- 09:05, 5 August 2013 (diff | hist) . . (+51) . . User Guide
- 14:40, 4 August 2013 (diff | hist) . . (+51) . . BPJ Model Checking
- 14:39, 4 August 2013 (diff | hist) . . (+181) . . MCInstrumentation
- 14:37, 4 August 2013 (diff | hist) . . (+451) . . MCInstrumentation
- 14:34, 4 August 2013 (diff | hist) . . (+6) . . MCInstrumentation
- 14:33, 4 August 2013 (diff | hist) . . (+322) . . Nondetermism
- 14:32, 4 August 2013 (diff | hist) . . (-209) . . MCInstrumentation
- 14:28, 4 August 2013 (diff | hist) . . (+1,559) . . N MCInstrumentation (New page: = Application Instrumentation and Assistance in BPmc The following API calls can be used inside Java b-thread to control the model checking process. Throughout, the term nextVerification...)
- 14:19, 4 August 2013 (diff | hist) . . (-7) . . RunMode
- 14:19, 4 August 2013 (diff | hist) . . (+65) . . RunMode
- 14:13, 4 August 2013 (diff | hist) . . (+2,662) . . N Nondeterminism (New page: = Nondeterministic execution in BPmc = In common processing event selection in BP is deterministic. However, in some cases it is desired to specify nondetermistic choices - e.g., when simu...)
- 14:12, 4 August 2013 (diff | hist) . . (+90) . . RunMode
- 14:06, 4 August 2013 (diff | hist) . . (-9) . . RunMode
- 14:06, 4 August 2013 (diff | hist) . . (+3,162) . . N RunMode (New page: =Specifying Run Modes BPmc is activated by specifying the runmode paramater in the run configuration, under VM parameters, as follows: = -DrunMode=Det = Description: “Normal” / s...)
- 14:04, 4 August 2013 (diff | hist) . . (+59) . . BPJ Model Checking
- 14:02, 4 August 2013 (diff | hist) . . (+166) . . Nondetermism
- 14:01, 4 August 2013 (diff | hist) . . (+279) . . Nondetermism
- 13:59, 4 August 2013 (diff | hist) . . (-4) . . BPJ Model Checking
- 13:57, 4 August 2013 (diff | hist) . . (0) . . BPJ Model Checking
- 13:56, 4 August 2013 (diff | hist) . . (+182) . . BPJ Model Checking
- 13:52, 4 August 2013 (diff | hist) . . (+1) . . BPJ Model Checking
- 13:47, 4 August 2013 (diff | hist) . . (-3) . . Nondetermism
- 13:47, 4 August 2013 (diff | hist) . . (+89) . . Nondetermism
- 13:41, 4 August 2013 (diff | hist) . . (+53) . . Nondetermism
- 13:40, 4 August 2013 (diff | hist) . . (-7) . . Nondetermism
- 13:40, 4 August 2013 (diff | hist) . . (+2,086) . . N Nondetermism (New page: In common processing event selection in BP is deterministic. However, in some cases it is desired to specify nondetermistic choices - e.g., when simulating environment behavior using b-th...)
- 13:33, 4 August 2013 (diff | hist) . . (-1) . . BPJ Model Checking
- 13:33, 4 August 2013 (diff | hist) . . (+349) . . N BPJ Model Checking (New page: = Model Checking Behavioral Applications with BPmc You can find bugs and underspecification in behavioral programs using model checking. The BPmc model checker executes all possible path...)
- 13:30, 4 August 2013 (diff | hist) . . (+11) . . User Guide
- 13:26, 4 August 2013 (diff | hist) . . (+4) . . The BPJ Library
- 13:25, 4 August 2013 (diff | hist) . . (-2) . . The BPJ Library
- 13:24, 4 August 2013 (diff | hist) . . (+9) . . The BPJ Library
- 13:23, 4 August 2013 (diff | hist) . . (-17) . . The BPJ Library
- 13:22, 4 August 2013 (diff | hist) . . (+458) . . The BPJ Library
- 13:09, 4 August 2013 (diff | hist) . . (+3) . . The BPJ Library
- 13:08, 4 August 2013 (diff | hist) . . (+3) . . The BPJ Library
- 12:03, 26 June 2013 (diff | hist) . . (+13) . . Main Page
- 08:53, 25 June 2013 (diff | hist) . . (+16) . . User Guide
- 08:49, 25 June 2013 (diff | hist) . . (0) . . Download
- 08:47, 25 June 2013 (diff | hist) . . (+41) . . Download
- 08:43, 25 June 2013 (diff | hist) . . (+680) . . N Download (New page: = Download and Installation = *IDE: BPJ does not require any special environment. E.g., the library and examples can be used with the latest version of Eclipse. ** Download Eclipse classi...)
- 08:32, 25 June 2013 (diff | hist) . . (+383) . . User Guide