Example-Guided Abstraction Simplification

DOI10.1007/978-3-642-14162-1_18zbMath1288.68041OpenAlexW1573883024MaRDI QIDQ3587440

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

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

Related Items (1)

Correctness kernels of abstract interpretations

This page was built for publication: Example-Guided Abstraction Simplification