Computer Science
Partial Order Reduction
100%
Case Study
66%
Threaded Program
50%
State Space
41%
Transition System
41%
model checker
41%
Petri Net
41%
Efficient Implementation
41%
Reactive System
25%
Uncontrollable Event
25%
Time-Sensitive
25%
Synthesis Problem
25%
Hostile Environment
25%
Model Checking
16%
Concurrent System
16%
Classical State
16%
Handler Thread
5%
Threaded Programming
5%
Event Processing
5%
Keyphrases
Safety Games
50%
Multithreaded Programs
50%
Dynamic Partial Order Reduction
50%
Stateless Model Checking
50%
Classical States
25%
Structural Order
25%
Formula Size
25%
CTL Model Checking
25%
Source Data Verification
25%
Structural Reduction
25%
State Space Pruning
25%
Event Dynamics
22%
General Formalism
16%
Petri Net Tool
16%
Stubborn Sets
16%
Significant State
16%
Annual Model
16%
Reduction Rules
16%
Event-driven Programs
11%
Event Processing
5%
