AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Constrained monotonic abstraction: a CEGAR for parameterized verification

CONCUR, (2010): 86-101

Cited: 28|Views23

Full Text

View via Publisher

Other Links

dl.acm.org dblp.uni-trier.de academic.microsoft.com

Bibtex

Keywords

automatic verificationspurious counterexamplesoriginal monotonic abstraction approachmonotonic abstractioncounterexample-guided abstraction refinementMore(9+)

Abstract

In this paper, we develop a counterexample-guided abstraction refinement (CEGAR) framework for monotonic abstraction, an approach that is particularly useful in automatic verification of safety properties for parameterized systems. The main drawback of verification using monotonic abstraction is that it sometimes generates spurious counte...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

[0]

[0]

[0]

[0]

[0]

[0]

Your rating :

No Ratings