Limmat
From MaRDI portal
Cited in
(12)- Decomposing SAT problems into connected components
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- DPvis
- zChaff
- Jerusat
- Nighthawk
- SPARK Pro
- CodeSonar
- Klockwork
- BooleForce
- Theory and Applications of Satisfiability Testing
- scientific article; zbMATH DE number 5510691 (Why is no real title available?)
This page was built for software: Limmat
