Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68122OpenAlexW2496613029MaRDI QIDQ5898618

Yanhong A. Liu, Katia Hristova

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

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Generating Specialized Rules and Programs for Demand-Driven Analysis

Uses Software

• Bebop
• XSB

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