Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV

Keyphrases

• Large Animal Model 100%
• Vehicle Control Systems 100%
• NuSMV 100%
• Fault Tolerance 50%
• Lessons Learned 50%
• Modeling Process 50%
• Embedded Systems 50%
• Multicore Processors 50%
• Model Checker 50%
• Formal Verification 50%
• Safety Aspects 50%
• Simulation Test 50%
• Model Checking Techniques 50%
• Bounded Model Checking 50%
• Testing Method 50%
• Driving Vehicle 50%
• Model Checking Tools 50%
• Temporal Logic 50%
• Systematic Testing 50%
• State Explosion Problem 50%
• Symbolic Models 50%
• Preparatory Work 50%
• Valuable Insight 50%
• Arbitration Logic 50%

Computer Science

• Model Checking 100%
• Vehicle Control 100%
• fault-tolerance 20%
• Embedded System 20%
• Multicore 20%
• model checker 20%
• Formal Verification 20%
• Checking Technique 20%
• Temporal Logic 20%
• State Variable 20%