Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773MaRDI QIDQ5898618zbMATH OpenOpenAlexFDO

Authors Katia Hristova, Yanhong A. Liu

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

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

Recommendations

• Model checking of pushdown systems for projection temporal logic
• scientific article; zbMATH DE number 1670780
• scientific article; zbMATH DE number 2080197
• Complexity results on branching-time pushdown model checking
• scientific article; zbMATH DE number 1232241

Cited in

(3)

• Model checking of pushdown systems for projection temporal logic
• scientific article; zbMATH DE number 7317259 (Why is no real title available?)
• Generating Specialized Rules and Programs for Demand-Driven Analysis

Describes a project that uses

Uses Software

• XSB
• Bebop

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898618)