Skip to content
cs-conference-ranking.org

Kratos2: An SMT-Based Model Checker for Imperative Programs.

Alberto Griggio, Martin Jons

VenueA*CAV
Year2023
ProceedingsCAV (3)
DBLP recordconf/cav/GriggioJ23 ↗

Browse the full CAV paper archive.