Keyword:certification

Papers
Cybersecurity Program Designed for Future Claudio Brito, Melany Ciampi and Henrique Santos EasyChair Preprint no. 1323
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper) Bernhard Beckert, Daniel Bruns and Sarah Grebing In:VERIFY-2010. 6th International Verification Workshop