Computer Science
Actual Behavior
20%
Automatic Approach
20%
Automatic Synthesis
13%
binary decision diagram
40%
Boolean Formula
20%
Boolean Function
40%
C Program
40%
Case Complexity
40%
Case Time Complexity
13%
Common Support
40%
Concurrency
40%
Concurrent Program
40%
Concurrent System
40%
Debugging Environment
40%
Decision Procedure
13%
Design Verification
40%
Diagnosis Algorithm
10%
Efficient Implementation
40%
Embedded Systems
40%
Environment Condition
13%
Error Correction
10%
Experimental Result
60%
Fault Localization
80%
Finite Automata
40%
Formal Specification
40%
Hardware Component
13%
Hardware Design
30%
Including Linux
40%
Infinite Number
13%
Input/Output
20%
Level Cooperation
40%
Linear Speedup
13%
Linear Temporal Logic
20%
Linux
40%
Liveness
40%
Local Variable
40%
Logic Synthesis
13%
Model Checking
100%
Modern Approach
13%
Perfect Information
40%
Program Analysis
10%
Property System
40%
Race Condition
40%
Reactive System
80%
Requirements Analysis
80%
Software Model
40%
Symbolic Execution
10%
Synthesis Algorithm
40%
Synthesis Tool
40%
System Specification
13%
System-on-Chip
40%
Temporal Logic
40%
temporal property
40%
Winning Strategy
40%