Formal methods for interactive systems.
Antonio CeronePaul CurzonPublished in: Innov. Syst. Softw. Eng. (2008)
Keyphrases
- interactive systems
- formal methods
- human computer interaction
- model checking
- formal analysis
- safety critical
- process algebra
- model checker
- formal specification
- artificial intelligence
- knowledge based systems
- provably correct
- user interface
- software engineering
- digital entertainment
- security properties
- temporal properties
- reactive systems
- database
- development lifecycle
- formal specification language