A Hoare Logic with Regular Behavioral Specifications.
Gidon ErnstAlexander KnappToby MurrayPublished in: CoRR (2022)
Keyphrases
- delay insensitive
- asynchronous circuits
- bounded model checking
- logic programming
- modal logic
- formal language
- classical logic
- operational semantics
- state machine
- multi valued
- artificial intelligence
- formal descriptions
- model checker
- computational properties
- formal specification
- human behavior
- decision making
- functional requirements
- nonmonotonic logics
- automated reasoning
- inference rules
- e learning
- data sets