Example-guided abstraction simplification

DOI10.1007/978-3-642-14162-1_18MaRDI QIDQ3587440zbMATH OpenOpenAlexFDO

Authors Roberto Giacobazzi, Francesco Ranzato

Publication date 7 September 2010

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14162-1_18

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Correctness kernels of abstract interpretations
• Abstract Counterexamples for Non-disjunctive Abstractions
• Abstract Counterexample-Based Refinement for Powerset Domains
• scientific article; zbMATH DE number 1953028
• scientific article; zbMATH DE number 1670775

Cited in

(1)

• Correctness kernels of abstract interpretations

This page was built for publication: Example-guided abstraction simplification

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