Keyword:certification

Papers
Certifying Incremental SAT Solving Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Translating HOL-Light proofs to Coq Frédéric Blanqui In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Certification of Tail Recursive Bubble--Sort in Theorema and Coq Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat In:LPAR 2024 Complementary Volume
Importance of Certification in the Construction Industry: Case of Value Engineering Joel Wao, Mercy Kosgei and Johnny Healey In:Proceedings of 60th Annual Associated Schools of Construction International Conference
Project and Construction Management Certification Ahmad Zaki Ghafari and Dennis Bausman In:Proceedings of 59th Annual Associated Schools of Construction International Conference
FERPModels: a Certification Framework for Expansion-Based QBF Solving Vedad Hadžić, Roderick Bloem, Ankit Shukla and Martina Seidl EasyChair Preprint no. 9624
Survey of Automation Practices in Model-Driven Development and Operations Christophe Ponsard and Valery Ramon EasyChair Preprint no. 7760
Incremental Common Criteria Certification Processes using DevSecOps Practices Sébastien Dupont, Guillaume Ginis, Mirko Malacario, Claudio Porretti, Nicolò Maunero, Christophe Ponsard and Philippe Massonet EasyChair Preprint no. 6415
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