Rewriting modulo SMT and open system analysis

Computer Science

• Reachability Analysis 100%
• System Analysis 100%
• Nondeterminism 100%
• Synchronous Language 50%
• Model Checking 50%
• Rewriting Logic 50%
• Real Time Systems 50%
• Timed Automaton 50%
• Analysis Technique 50%
• Automatic Detection 50%

INIS

• environment 100%
• systems analysis 100%
• detection 50%
• constraints 50%
• power 50%
• operation 50%
• violations 50%
• space vehicles 50%
• real time systems 50%

Keyphrases

• Open Systems 100%
• System Analysis 100%
• SMT System 100%
• Nondeterminism 33%
• Single State 16%
• Infinite Sets 16%
• Automatic Detection 16%
• Logic Rewriting 16%
• Symbolic Constraints 16%
• Timed Automata 16%
• Reachability Properties 16%