Abstraction-Based Verification of Infinite-State Reactive Modules.
Francesco BelardinelliAlessio LomuscioPublished in: ECAI (2016)
Keyphrases
- model checking
- bounded model checking
- hardware designs
- high level
- formal verification
- modular structure
- face verification
- formal methods
- building blocks
- agent architecture
- databases
- data abstraction
- modular architecture
- verification method
- signature verification
- abstraction hierarchy
- reactive planning
- formal analysis
- machine learning