Incomplete TRS-Specifications of Boolean Functions and their Verification.
Stefan KrischerPublished in: Designing Correct Circuits (1992)
Keyphrases
- boolean functions
- automated verification
- concurrent systems
- formal verification
- uniform distribution
- model checking
- asynchronous circuits
- threshold functions
- protocol specification
- dnf formulae
- formal specification
- automated reasoning
- membership queries
- linear threshold
- relevant variables
- prime implicants
- multi valued
- functional properties
- temporal logic
- bi decomposition
- read once formulas
- binary decision diagrams
- pseudo boolean functions