Better Under-Approximation of Programs by Hiding Variables

DOI10.1007/978-3-540-69738-1_23zbMath1132.68332OpenAlexW1833762487MaRDI QIDQ5452617

Orna Kupferman, Thomas Ball

Publication date: 4 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_23

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about infinite computations
• On the Construction of Fine Automata for Safety Properties
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Formal Methods for Components and Objects
• Computer Aided Verification

This page was built for publication: Better Under-Approximation of Programs by Hiding Variables