Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b94790zbMath1202.68089OpenAlexW3146639584MaRDI QIDQ5901901

Dinghao Wu, Andrew W. Appel, Gang Tan, Kedar Swadi

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

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• Twelf

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