Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68116OpenAlexW2739785336MaRDI QIDQ5899074

Sriram K. Rajamani, Bhargav S. Gulavani

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Sound Non-statistical Clustering of Static Analysis Alarms ⋮ Loop summarization using state and transition invariants ⋮ Counterexample Guided Path Reduction for Static Program Analysis ⋮ A Forward-Backward Abstraction Refinement Algorithm ⋮ Automatically Refining Abstract Interpretations ⋮ Abstract Counterexamples for Non-disjunctive Abstractions ⋮ Refining abstract interpretations ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems

Uses Software

• PPL
• StInG

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems