Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers.
Bence CzipóÁkos HajduTamás TóthIstván MajzikPublished in: FESCA@ETAPS (2017)
Keyphrases
- modulo theories
- abstraction hierarchy
- model checker
- model checking
- formal methods
- hardware designs
- high level
- formal verification
- statistical machine translation
- test generation
- agent oriented
- answer set programming
- face verification
- verification method
- hierarchical structure
- lower level
- asynchronous circuits
- sat solving
- bounded model checking
- satisfiability modulo theories
- higher level
- eigenvalue problems
- logic programs