Computer Science
Requirements Analysis
100%
Reactive System
100%
Experimental Result
83%
Fault Localization
66%
Liveness
66%
Winning Strategy
66%
Model Checking
50%
Procedures
33%
Normal Operation
33%
Property System
33%
Graphical User Interface
33%
temporal property
33%
Formal Specification
33%
Finite Automata
33%
Embedded Systems
33%
System-on-Chip
33%
Temporal Logic
33%
Level Cooperation
33%
C Program
33%
Execution Time
33%
Automaton
33%
Synthesis Tool
33%
Design Verification
33%
Synthesis Algorithm
33%
Efficient Implementation
33%
Including Linux
33%
Common Support
33%
Local Variable
33%
Automatic Approach
16%
Boolean Formula
16%
Actual Behavior
16%
Linear Temporal Logic
16%
Hardware Design
16%
Input/Output
16%
Infinite Number
11%
Case Time Complexity
11%
Automatic Synthesis
11%
Hardware Component
11%
Error Correction
8%