Portada

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING IBD

SPRINGER
12 / 2014
9781489993953
Inglés

Sinopsis

Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.