swMATH6930MaRDI QIDQ18994FDOQ18994
Author name not available (Why is that?)
Official website: http://fmv.jku.at/limmat/
Cited In (12)
- Decomposing SAT problems into connected components
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Theory and Applications of Satisfiability Testing
- DPvis
- Title not available (Why is that?)
- zChaff
- Jerusat
- Nighthawk
- SPARK Pro
- CodeSonar
- Klockwork
- BooleForce
This page was built for software: Limmat
