Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.

DOI10.1016/S1571-0661(04)00151-3zbMath1263.68108MaRDI QIDQ4923520

Elisa Quintarelli, Agostino Dovier, Roberto Giacobazzi

Publication date: 24 May 2013

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Grammar semantics, analysis and parsing by abstract interpretation
• Optimal domains for disjunctive abstract interpretation
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Refining and compressing abstract domains
• Temporal abstract interpretation
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.