Abstract interpretation of combinational asynchronous circuits.

Sarah Thompson Alan Mycroft

Published in: Sci. Comput. Program. (2007)

Keyphrases

asynchronous circuits
abstract interpretation
model checking
termination analysis
static analysis
process algebra
delay insensitive
formal specification
active rules
reasoning engine
dynamic analysis
active databases
formal methods
case study
integrity constraints
open source
management system