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