Behavioral Compatibility Without State Explosion: Design and Verification of a Component-based Elevator Control System

Computer Science

• Automaton 50%
• Component Analysis 50%
• component based system 100%
• Component Interface 50%
• Connected Component 50%
• Control Algorithm 50%
• Model Checking 50%
• Polynomial Time 50%
• Runtime Address 50%
• Syntactics 50%
• Temporal Behavior 100%
• Temporal Logic 50%

Keyphrases

• Behavioral Compatibility 100%
• Elevator Control 33%
• Global State 33%
• Time Polynomial 33%