Carnegie Mellon University
Browse
file.pdf (9.16 MB)

Advances in counterexample-guided abstraction refinement

Download (9.16 MB)
journal contribution
posted on 2007-08-01, 00:00 authored by E. M. Clarke, Ofer Strichman
Abstract: "This report is a collection of six articles on model checking in the abstraction/refinement framework. This framework is used by various techniques for tackling the state-space explosion problem that is frequently encountered in model checking."

History

Date

2007-08-01

Usage metrics

    Categories

    Keywords

    Computer software Verification.Computer hardware Verification.Computer programs Verification.

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC