A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories.
Uli FahrenbergAxel LegayPublished in: SOFSEM (2017)
Keyphrases
- model checking
- temporal reasoning
- formal specification
- temporal logic
- high level
- theoretical framework
- specification language
- data structure
- asynchronous circuits
- worst case
- formal verification
- conceptual model
- behavioral data
- probability theory
- human behavior
- databases
- user defined
- description logics
- np hard
- artificial intelligence