Example-guided abstraction simplification

DOI10.1007/978-3-642-14162-1_18zbMATH Open1288.68041OpenAlexW1573883024MaRDI QIDQ3587440FDOQ3587440

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

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

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)

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)