A Aralex Aachen research explorer

November 01, 2016 conference-paper

Correctness witnesses: exchanging verification results between verifiers

ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)

DOI: 10.1145/2950290.2950351 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 93

Hardware Model Checking Certification with Certifaiger and Cerbtora
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations

1 result

References 0