Efficient verification of sequential and concurrent C Programs

Keyphrases

• C Program 100%
• Efficient Verification 100%
• Predicate Abstraction 100%
• State Space Explosion 66%
• Abstraction Methods 66%
• Time Complexity 33%
• Distributed Systems 33%
• State Space 33%
• Fully Automated 33%
• Finite Sets 33%
• Granularity 33%
• Number of Components 33%
• Memory Complexity 33%
• Reachable States 33%
• Abstraction Process 33%
• Software Verification 33%
• Sequential Programs 33%
• Automated Abstraction 33%
• Practical Verification 33%
• Refinement Scheme 33%
• Safety Specification 33%
• Purely Sequential 33%
• Composition Framework 33%
• Counterexample-guided Abstraction Refinement 33%
• Concurrent Programs 33%
• Compositionality 33%
• Message Passing 33%

Computer Science

• C Program 100%
• State Space 100%
• Experimental Result 33%
• Distributed Systems 33%
• Message Passing 33%
• Granularity 33%
• Model Checking 33%
• Concurrent Program 33%
• Reachable State 33%
• Software Verification 33%
• Sequential Program 33%