User contributions
From BP Wiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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...)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
