Abstraction refinement for large scale model checking
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital systems. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
New York, NY :
Springer US
[20..].
Cham : Springer Nature |
| Ausgabe: | 1st ed. 2006. |
| Schriftenreihe: | Series on Integrated Circuits and Systems
|
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Small particles and inorganic clusters, proceedings of the Fourth International Meeting on Small Particles and Inorganic Clusters, University Aix-Marseille III, Aix-en-Provence, France, 5-9 July 1988, guest editors, C. Chapon, M.F. Gillet, and C.R. Henry, Berlin, Springer-Verlag, 1989, 1 vol. (XII-612 p.), Zeitschrift für Physik D, 3-540-51390-6 • Abstraction Refinement for Large Scale Model Checking, Texte imprimé, 9780387341552 • Abstraction Refinement for Large Scale Model Checking, Texte imprimé, 9781489993953 • Small particles and inorganic clusters, proceedings of the Fourth International Meeting on Small Particles and Inorganic Clusters, University Aix-Marseille III, Aix-en-Provence, France, 5-9 July 1988, guest editors, C. Chapon, M.F. Gillet, and C.R. Henry, Berlin, Springer-Verlag, 1989, 1 vol. (XII-612 p.), Zeitschrift für Physik D, 3-540-51390-6 • Abstraction Refinement for Large Scale Model Checking, Texte imprimé, 9780387341552 • Abstraction Refinement for Large Scale Model Checking, Texte imprimé, 9781489993953 • Small particles and inorganic clusters, proceedings of the Fourth International Meeting on Small Particles and Inorganic Clusters, University Aix-Marseille III, Aix-en-Provence, France, 5-9 July 1988, guest editors, C. Chapon, M.F. Gillet, and C.R. Henry, Berlin, Springer-Verlag, 1989, 1 vol. (XII-612 p.), Zeitschrift für Physik D, 3-540-51390-6 • Abstraction Refinement for Large Scale Model Checking, Texte imprimé, 9780387341552 • Abstraction Refinement for Large Scale Model Checking, Texte imprimé, 9781489993953 |
Inhaltsangabe:
- Symbolic Model Checking Abstraction Refinement Compositional SCC Analysis Disjunctive Decomposition Far Side Image Computation Refining SAT Decision Ordering Conclusions.