Refinement of Trace Abstraction (Q3392921)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Refinement of Trace Abstraction	scientific article

Statements

scholarly article

0 references

Refinement of Trace Abstraction (English)

0 references

Matthias Heizmann

0 references

Jochen Hoenicke

0 references

Andreas Podelski

0 references

Static Analysis

0 references

publication date

18 August 2009

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-03237-0_7

0 references

0 references

Slicing Abstractions

0 references

0 references

0 references

Automatically Refining Abstract Interpretations

0 references

Abstractions from proofs

0 references

Lazy abstraction

0 references

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

0 references

Tools and Algorithms for the Construction and Analysis of Systems

0 references

0 references

Computer Aided Verification

0 references

Lazy Abstraction with Interpolants

0 references

Quantified Invariant Generation Using an Interpolating Saturation Prover

0 references

Static Analysis

0 references

Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-03237-0_7

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3392921

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3392921&oldid=35123155"