Monotonic Abstraction in Parameterized Verification.
Parosh Aziz AbdullaGiorgio DelzannoAhmed RezinePublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- hardware designs
- bounded model checking
- high level
- concurrent systems
- asynchronous circuits
- learning algorithm
- decision theoretic planning
- model checking
- formal methods
- formal verification
- abstraction hierarchy
- database
- verification method
- signature verification
- formal analysis
- face verification
- artificial neural networks
- database systems
- image processing
- metadata
- decision making
- real time