Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68048OpenAlexW2496613029MaRDI QIDQ5898617

George C. Necula, Adam Chlipala, Bor-Yuh Evan Chang

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11609773

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Certification Using the Mobius Base Logic

Uses Software

• Coq

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