A state space generation tool for LOTOS specifications: Licenciate thesis

Keyphrases

• LOTOS 100%
• Generation Tools 100%
• State Space Generation 100%
• Concurrent Systems 60%
• Input Language 60%
• System Description 40%
• Compositional Analysis 20%
• State Space 20%
• Reachable States 20%
• Tool Environment 20%
• Special Methods 20%
• Description Model 20%
• Control Mechanism 20%
• Transition Rules 20%
• Reduction Rules 20%
• Operational Semantics 20%
• Levels of Abstraction 20%
• Reachability Analysis 20%
• Discrete Actions 20%
• Labelled Transition Systems 20%

INIS

• tools 100%
• space 100%
• specifications 100%
• levels 33%
• implementation 33%
• comparative evaluations 16%
• data 16%
• environment 16%
• modeling 16%
• reduction 16%
• increasing 16%
• algorithms 16%
• control systems 16%
• verification 16%

Computer Science

• State Space 100%
• Concurrent System 50%
• Language Input 50%
• System Description 33%
• Transition Rule 16%
• Operational Semantics 16%
• Reachability Analysis 16%
• Data Type 16%
• Transition System 16%
• Reachable State 16%
• Control Mechanism 16%