swMATH10073MaRDI QIDQ22042FDOQ22042
Author name not available (Why is that?)
Official website: https://doi.org/10.1109/43.3140
Cited In (14)
- Formal Methods for Hardware Verification
- Automated design and simulation of computer system components
- Propositional SAT solving
- Title not available (Why is that?)
- Test Pattern Generation using Boolean Proof Engines
- HANNIBAL
- HITEC
- PASSAT
- MAHA
- Title not available (Why is that?)
- Flamel
- Title not available (Why is that?)
- Confidence intervals for expected coverage from a beta testability model
- Constraint satisfaction using constraint logic programming
This page was built for software: SOCRATES
