The temporal logic of rewriting: A gentle introduction

Keyphrases

• State-based 100%
• System Properties 100%
• Temporal Logic 100%
• System Specification 100%
• Action-based 100%
• Simple Extension 50%
• Unnatural 50%
• Rewriting Logic 50%
• Model Checker 50%
• Expressive Power 50%
• Action Pattern 50%
• Mismatch Problem 50%
• State Action 50%
• Property Mismatch 50%
• Model Check 50%
• Model Translation 50%
• Property Specification 50%
• Spatial Actions 50%
• Faithful Translation 50%

Computer Science

• Temporal Logic 100%
• System Specification 100%
• Rewriting Logic 50%
• model checker 50%
• Expressive Power 50%
• Property System 50%