Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5711502
DOI10.1007/b105073zbMath1111.68506OpenAlexW2611288859MaRDI QIDQ5711502
Jean Goubault-Larrecq, Fabrice Parrennes
Publication date: 6 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b105073
Related Items (9)
Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses ⋮ Extending \(H_1\)-clauses with disequalities ⋮ Normalization of Linear Horn Clauses ⋮ Safe abstractions of data encodings in formal security protocol models ⋮ Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules ⋮ Paths, tree homomorphisms and disequalities for -clauses ⋮ Cryptographic Verification by Typing for a Sample Protocol Implementation ⋮ Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif ⋮ Gaining trust by tracing security protocols
Uses Software
This page was built for publication: Verification, Model Checking, and Abstract Interpretation