Automatic abstraction in model checking

Authors:
Edmund M. Clarke;Yuan Lu
Affiliations:
-;-
Venue:
Automatic abstraction in model checking
Year:
2000

Citing 0
Cited 3

Relay Reachability Algorithm for Exploring Huge State Space

Electronic Notes in Theoretical Computer Science (ENTCS)
An automatic method for the dynamic construction of abstractions of states of a formal model

Cybernetics and Systems Analysis
The localization reduction and counterexample-guided abstraction refinement

Time for verification

Quantified Score

Hi-index	0.00

Visualization

Abstract