Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMATH Open1180.68116OpenAlexW2739785336MaRDI QIDQ5899074FDOQ5899074

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (15)

• 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
• Abstract Counterexamples for Non-disjunctive Abstractions
• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• Counterexample validation and interpolation-based refinement for forest automata
• Title not available (Why is that?)
• 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
• Bug Hunting with False Negatives

Uses Software

• PPL
• StInG

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)