Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68124OpenAlexW2496613029MaRDI QIDQ5898607

Joxan Jaffar, Andrew E. Santosa, Răzvan Voicu

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

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Not all bugs are created equal, but robust reachability can tell the difference ⋮ Unnamed Item

Uses Software

• KRAKATOA
• PVS

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