The maude LTL model checker

Keyphrases

• Maude 100%
• Model Checker 100%
• Cell Biology 50%
• Distributed Systems 50%
• Communication Protocol 50%
• Rewriting Logic 50%
• Logic Model 50%
• Concurrent Systems 50%
• Explicit Model Checking 50%
• Rewrite Theory 50%
• Traditional Areas 50%

Computer Science

• Model Checking 100%
• model checker 100%
• Distributed Systems 50%
• Communication Protocol 50%
• Rewriting Logic 50%
• Concurrent System 50%