SCOOT

swMATH9954MaRDI QIDQ21933FDOQ21933

Author name not available (Why is that?)

Official website: http://www.cprover.org/scoot/

Cited In (4)

• A framework for verification of software with time and probabilities
• bv2epr
• Pinapa
• SAT-Based Model Checking

This page was built for software: SCOOT