Consistency and satisfiability of waveform timing specifications.
Janusz A. BrzozowskiT. GahlingerFarhad MavaddatPublished in: Networks (1991)
Keyphrases
- bounded model checking
- asynchronous circuits
- satisfiability problem
- delay insensitive
- propositional logic
- computational complexity
- np complete
- database systems
- formal specification
- consistency checking
- cross correlation
- maintaining consistency
- temporal logic
- web services
- functional requirements
- specification language
- decision procedures
- path consistency
- constraint networks
- global consistency
- reactive systems
- model checking
- orders of magnitude
- high level