Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b105073zbMath1111.68498OpenAlexW2611288859MaRDI QIDQ5711514

Julien Bertrane

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

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Abstract Interpretation of the Physical Inputs of Embedded Programs

Uses Software

• LUSTRE

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