SOCRATES
From MaRDI portal
Software:22042
swMATH10073MaRDI QIDQ22042FDOQ22042
Author name not available (Why is that?)
Cited In (9)
- Formal Methods for Hardware Verification
- Automated design and simulation of computer system components
- Title not available (Why is that?)
- Test Pattern Generation using Boolean Proof Engines
- Title not available (Why is that?)
- Propositional SAT Solving
- 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
