Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.
Yamine Aït AmeurBenoit BreholéePatrick GirardLaurent GuittetFrancis JambonPublished in: Human Error, Safety and Systems Development (2004)
Keyphrases
- formal verification
- bounded model checking
- model checker
- automated verification
- model checking
- formal specification
- interactive systems
- formal methods
- symbolic model checking
- high level
- temporal logic
- formal language
- specification language
- human computer interaction
- knowledge based systems
- transition systems
- learning environment
- artificial intelligence