Model checking methodology for verification of safety logics

Keyphrases

• Design Errors 100%
• Safety Logic 100%
• System Design 50%
• Programmable Logic Controller 50%
• Industrial Case 50%
• Simulation Techniques 50%
• Control System 50%
• Digital Instrument 50%
• Instrumentation System 50%
• Digital Control 50%
• Logic Design 50%
• Testing Method 50%
• Formal Methods 50%
• Safety-critical 50%
• Control Function 50%
• Design Model 50%
• Exhaustive Verification 50%
• Reasonable Time 50%
• Design Verification 50%
• Reasonable Efforts 50%
• Computer-aided 50%
• Design Flow 50%
• De-implementation 50%

INIS

• safety 100%
• design 100%
• verification 100%
• errors 33%
• simulation 16%
• control 16%
• testing 16%
• control systems 16%
• computers 16%

Computer Science

• Model Checking 100%
• Simulation Mode 20%
• Programmable Logic Controller 20%
• Industrial Case 20%
• Exhaustive Verification 20%
• Design Verification 20%
• Control Function 20%
• Logic Design 20%