SATORI
From MaRDI portal
swMATH9597MaRDI QIDQ21577FDOQ21577
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1009909
Cited In (16)
- Correct Hardware Design and Verification Methods
- Formal Methods for Hardware Verification
- Hybrid BDD and All-SAT Method for Model Checking
- Tools and Algorithms for the Construction and Analysis of Systems
- CirCUs
- SATIRE
- BerkMin
- QUBOS
- HANNIBAL
- Pinapa
- PASSAT
- semprop
- Improved SAT-based reachability analysis with observability don't cares
- Correct Hardware Design and Verification Methods
- Under-approximation heuristics for grid-based bounded model checking
- Robustness and usability in modern design flows
This page was built for software: SATORI
