Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372MaRDI QIDQ5899074zbMATH OpenOpenAlexFDO

Authors Bhargav S. Gulavani, Sriram K. Rajamani

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)

Recommendations

• Refining abstract interpretations
• Automatically Refining Abstract Interpretations
• Fixpoint-Guided Abstraction Refinements
• scientific article; zbMATH DE number 1670775
• Refinement of Trace Abstraction

Cited in

(15)

• Bug Hunting with False Negatives
• Loop summarization using state and transition invariants
• Sound non-statistical clustering of static analysis alarms
• Counterexample guided path reduction for static program analysis
• Formal Methods in Computer-Aided Design
• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• Abstract Counterexamples for Non-disjunctive Abstractions
• Counterexample validation and interpolation-based refinement for forest automata
• scientific article; zbMATH DE number 65749 (Why is no real title available?)
• A Forward-Backward Abstraction Refinement Algorithm
• Tools and Algorithms for the Construction and Analysis of Systems
• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Refining abstract interpretations
• Tools and Algorithms for the Construction and Analysis of Systems
• Automatically Refining Abstract Interpretations

Describes a project that uses

Uses Software

• StInG
• PPL

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

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