A Hoare Logic with Regular Behavioral Specifications.
Gidon ErnstAlexander KnappToby MurrayPublished in: ISoLA (1) (2022)
Keyphrases
- delay insensitive
- asynchronous circuits
- model checker
- bounded model checking
- model checking
- multi valued
- predicate logic
- transition systems
- recursive programs
- logic programming
- formal language
- classical logic
- formal specification
- databases
- control flow
- modal logic
- case study
- operational semantics
- set theory
- specification language
- concurrent systems
- temporal logic
- linear temporal logic
- information systems
- artificial intelligence