Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b94790zbMath1202.68247OpenAlexW3146639584MaRDI QIDQ5901915

Kousha Etessami

Publication date: 15 May 2009

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

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

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A saturation method for the modal \(\mu \)-calculus over pushdown systems

Uses Software

• Bebop

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