SOCRATES
From MaRDI portal
Cited in
(15)- Formal Methods for Hardware Verification
- Automated design and simulation of computer system components
- Propositional SAT solving
- scientific article; zbMATH DE number 1033831 (Why is no real title available?)
- Test Pattern Generation using Boolean Proof Engines
- CirCUs
- HANNIBAL
- HITEC
- PASSAT
- MAHA
- Flamel
- scientific article; zbMATH DE number 621846 (Why is no real title available?)
- scientific article; zbMATH DE number 1059899 (Why is no real title available?)
- Confidence intervals for expected coverage from a beta testability model
- Constraint satisfaction using constraint logic programming
This page was built for software: SOCRATES
