Verification, Model Checking, and Abstract Interpretation

DOI10.1007/B105073zbMath1112.68093OpenAlexW2611288859MaRDI QIDQ5711494

Martin Lange

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

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Impartial Anticipation in Runtime-Verification ⋮ Most General Property-Preserving Updates ⋮ Static and dynamic property-preserving updates

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