Keyphrase: program verification
Keyphrase:program verification
AuthorsTitlePDF
Hira Syeda and Gerwin KleinReasoning about Translation Lookaside Buffers
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu and Pierre-Yves StrubProving uniformity and independence by self-composition and coupling
Jon Hael Brenas, Rachid Echahed and Martin StreckerC2PDLS: A Combination of Combinatory and Converse PDL with Substitutions
Yuting Chen, Laura Kovács and Simon RobillardTheory-Specific Reasoning about Loops with Arrays using Vampire
Toshiaki Matsushima, Yoshihiro Mizoguchi and Alexandre Derouet-JourdanVerification of a brick Wang tiling algorithm
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio ProiettiProgram Verification using Constraint Handling Rules and Array Constraint Generalizations
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio ProiettiVerification of Imperative Programs through Transformation of Constraint Logic Programs
Abdulbasit Ahmed, Alexei Lisitsa and Andrei NemytykhCryptographic Protocol Verification via Supercompilation (A Case Study)
Nikolaj Bjorner, Ken McMillan and Andrey RybalchenkoProgram Verification as Satisfiability Modulo Theories
Koen Claessen, Moa Johansson, Dan Rosén and Nicholas SmallboneHipSpec : Automating Inductive Proofs of Program Properties
Bahareh Badban, Stefan Leue and Jan-Georg SmausAutomated Invariant Generation for the Verification of Real-Time Systems
Bernhard Beckert, Daniel Bruns and Sarah GrebingMind the Gap: Formal Verification and the Common Criteria (Discussion Paper)