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