A Compositional Trace Logic for Behavioural Interface Specifications.
Marcel KyasFrank S. de BoerWillem P. de RoeverPublished in: Nord. J. Comput. (2005)
Keyphrases
- delay insensitive
- asynchronous circuits
- bounded model checking
- logic programming
- formal language
- operational semantics
- transition systems
- execution traces
- modal logic
- recursive programs
- multi valued
- user interface
- user friendly
- natural language interface
- classical logic
- human computer interface
- database systems
- high level
- model checker
- behavioural patterns
- interface design
- logical framework
- database
- formal specification
- temporal logic
- model checking
- logic programs
- information systems
- neural network
- data sets