Formal approach to specification and verification of task management in interactive systems.
Peter A. LindsayPublished in: IEE Proc. Softw. Eng. (1997)
Keyphrases
- interactive systems
- formal methods
- formal specification
- formal verification
- model checking
- human computer interaction
- asynchronous circuits
- reactive systems
- formal language
- information systems
- formal analysis
- data processing
- management system
- information management
- concurrent systems
- operational semantics
- data management
- project management
- knowledge management
- face verification
- high level
- formal model
- specification languages
- protocol specification
- neural network
- verification method
- digital entertainment
- formal semantics
- data model
- user interface
- metadata
- knowledge base
- artificial intelligence