A linear-time-branching-time spectrum for behavioral specification theories.
Uli FahrenbergAxel LegayPublished in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
- model checking
- high level
- temporal reasoning
- formal verification
- temporal logic
- artificial intelligence
- formal specification
- asynchronous circuits
- epistemic logic
- reactive systems
- specification language
- theoretical framework
- worst case
- social networks
- database
- behavioral model
- provably correct
- behavioral data
- thermal infrared
- defeasible logic
- domain theory
- modal logic
- decision making
- databases