2000 | OriginalPaper | Buchkapitel
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion
verfasst von : Amir Pnueli
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this talk, we will consider possible remedies to the State Explosion problem, enabling the verification of large designs. All of these require some user interaction and cannot be done in a fully automatic manner. We will explore the tradeoffs and connections between the different approaches, such as deduction and abstraction, searching for the most natural and convenient mode of user interaction, and speculate about useful additional measures of automation which can make the task of user supervision even simpler.