Abstract Interpretation of Combinational Asynchronous Circuits.
Sarah ThompsonAlan MycroftPublished in: SAS (2004)
Keyphrases
- asynchronous circuits
- abstract interpretation
- model checking
- termination analysis
- static analysis
- process algebra
- delay insensitive
- active rules
- active databases
- formal specification
- dynamic analysis
- reasoning engine
- formal methods
- database systems
- concurrent systems
- open source
- software engineering
- management system