Scalable Verification of Strategy Logic through Three-valued Abstraction.
Francesco BelardinelliAngelo FerrandoWojciech JamrogaVadim MalvoneAniello MuranoPublished in: CoRR (2023)
Keyphrases
- bounded model checking
- asynchronous circuits
- nonmonotonic logics
- model checking
- formal verification
- high level
- verification method
- modal logic
- multi valued
- computational properties
- memory efficient
- optimal strategy
- search strategy
- logic programming
- real time
- classical logic
- automated reasoning
- default logic
- proof theory
- database systems
- hardware designs