An overview of model checking practices on verification of PLC software

Keyphrases

• Programmable Logic Controller 100%
• Model Building 20%
• Petri Nets 20%
• Software Production 20%
• Software Verification 20%
• Software Model 20%
• Source Code 10%
• Construction Activities 10%
• High Capacity 10%
• Input-output 10%
• Automata 10%
• Performance Model 10%
• Performance Considerations 10%
• Controller System 10%
• Model Integration 10%
• Verification Process 10%
• Nutshell 10%
• Real-time Constraints 10%
• Timing Properties 10%
• Information Processing Capability 10%
• UPPAAL 10%
• Industrial Control Systems 10%
• Mission-critical Systems 10%
• Model Checker 10%
• Verification Phase 10%
• Formal Approach 10%
• Petri Automata 10%
• Verification Approaches 10%
• Function Block Diagram 10%
• Transition System 10%
• Systems Logic 10%
• Specification Language 10%
• Instruction List 10%

Computer Science

• Model Checking 100%
• Programmable Logic Controller 100%
• Software Production 20%
• Software Verification 20%
• Automaton 20%
• Software Model 20%
• Petri Net 20%
• Time Constraint 10%
• Source Codes 10%
• Input/Output 10%
• Processing Capability 10%
• Verification Activity 10%
• Industrial Control System 10%
• model checker 10%
• Verification Phase 10%
• Instruction List 10%
• Specification Language 10%
• Function Block Diagram 10%
• Transition System 10%
• Application Area 10%
• Critical System 10%
• Verification Process 10%