Three Case Studies on Verification of Infinite-State Systems

Keyphrases

• Algebra System 50%
• Bounded Data 50%
• Broadcast Protocol 50%
• Cache Coherence Protocol 50%
• Channel System 50%
• Control Structure 50%
• Counter Automata 50%
• Data Domain 50%
• Effective Algorithm 50%
• Infinite number 50%
• Infinite-state Systems 100%
• Linear Cellular Automata 50%
• Mechanism-based 50%
• Mutex 50%
• Network Routing 50%
• Parameter Control 50%
• Petri Nets 50%
• Plotter 50%
• Process Algebra 50%
• Pushdown 50%
• Pushdown Automata 50%
• Reachable States 50%
• Rewriting System 50%
• Skyline 50%
• Software System 50%
• Symbolic Search 100%
• System Expansion 50%
• Timed Automata 100%
• Verification Challenges 50%
• Vertical Approach 50%

Computer Science

• Automaton 66%
• Broadcast Protocol 33%
• Cache Coherence 33%
• Case Study 100%
• Control Structure 33%
• Data Domain 33%
• Efficient Algorithm 33%
• Experimental Result 33%
• Infinite Number 33%
• Parameter Control 33%
• Petri Net 33%
• Process Algebra 33%
• Pushdown Automaton 33%
• Reachable State 33%
• Software Systems 33%
• Symbolic Search 66%
• Timed Automaton 66%