Incremental Bisimulation Abstraction Refinement

Keyphrases

• Bisimulation 100%
• Abstraction Refinement 100%
• Probabilistic Computation Tree Logic 66%
• Concurrent Systems 33%
• Explicit Analysis 33%
• Large State 33%
• Implicit Analysis 33%
• Refinement Techniques 33%
• Probabilistic Model Checking 33%
• Bisimulation Equivalence 33%
• Bounded Bisimulations 33%
• Infinite State 33%
• Prototype Implementation 33%
• Quotient Automata 33%

Computer Science

• Automaton 50%
• Experimental Result 50%
• Model Checking 50%
• Concurrent System 50%
• Refinement Step 50%