Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5711502
DOI10.1007/b105073zbMath1111.68506MaRDI 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
Paths, tree homomorphisms and disequalities for -clauses, Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules, Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif, Extending \(H_1\)-clauses with disequalities, Safe abstractions of data encodings in formal security protocol models, Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses, Normalization of Linear Horn Clauses, Cryptographic Verification by Typing for a Sample Protocol Implementation
Uses Software