Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
certification
Papers
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
Copyright © 2012-2019 easychair.org. All rights reserved.
