DDVerify swMATH ID: 20226 Software Authors: Witkowski, T., Blanc, N., Kroening, D., Weissenbacher, G Description: DDVerify is tool for checking Linux device drivers for specific bugs. It automatically detects the operations provided by the module, and generates a test harness to reveal specific misuses of the kernel API. The harnesses generated by DDverify are plain C models that can be passed to verification tools such as SATABS or CBMC. Homepage: http://www.cprover.org/ddverify/ Related Software: SLAM; CBMC; SatAbs; BLAST; SPIN; Bebop; CPAchecker; MCMAS; LOCKSMITH; Goblint; MAGIC; CIL; DPF; Wolverine; KRATOS; MiniSat; Zapato; Velev SAT Benchmarks; FOCI; SCOOT Cited in: 9 Publications all top 5 Cited by 17 Authors 3 Kröning, Daniel 2 Bozzelli, Laura 2 Molinari, Alberto 2 Montanari, Angelo 2 Peron, Adriano 2 Sala, Pietro 2 Vojdani, Vesal 2 Wahl, Thomas 1 Basler, Gérard 1 Biere, Armin 1 Dams, Dennis René 1 Grumberg, Orna 1 Kaiser, Alexander D. 1 Lal, Akash 1 Mazzucchi, Michele 1 Reps, Thomas W. 1 Seidl, Helmut Cited in 4 Serials 2 Information and Computation 2 Formal Methods in System Design 1 Theoretical Computer Science 1 Dissertationes Mathematicae Universitatis Tartuensis Cited in 2 Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year