From quantity to quality

Keyphrases

• Temporal Logic 100%
• Real-time Temporal Logic 100%
• CTL Model Checking 100%
• Model Checking Tools 66%
• Continuous-time 66%
• P-space 33%
• Checking Algorithm 33%
• Logic Formulas 33%
• Desired Behavior 33%
• Branching-time Logics 33%
• Logic Model Checking 33%
• Continued Use 33%
• Wide Distribution 33%
• PSPACE-complete 33%
• Industrial Application 33%
• Discrete-time 33%
• Discrete Domain 33%
• Checking Method 33%
• Extension of Time 33%
• Real-time Constraints 33%
• Running Model 33%

Computer Science

• Model Checking 100%
• Temporal Logic 77%
• Model Checking Problem 22%
• Continuous Time 22%
• Model Checking Algorithm 11%
• Desired Behavior 11%
• Branching Time 11%
• Early Research 11%
• Discrete Domain 11%
• Time Constraint 11%
• Research Effort 11%
• discrete-time 11%
• Industrial Applications 11%