Verification: Theory and Practice
From MaRDI portal
Publication:5305644
DOI10.1007/b12001zbMath1274.68180MaRDI QIDQ5305644
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Program verification: state of the art, problems, and results. I, The octagon abstract domain, Pentagons: a weakly relational abstract domain for the efficient validation of array accesses, Computable fixpoints in well-structured symbolic model checking, A Scalable Segmented Decision Tree Abstract Domain