Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b105073zbMath1111.68508OpenAlexW2611288859MaRDI QIDQ5711498

Stefan Edelkamp, Shahid Jabbar

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Design and Engineering of External Memory Traversal Algorithms for General Graphs

This page was built for publication: Verification, Model Checking, and Abstract Interpretation