Carnegie Mellon University
Browse

Verifying Properties of Hardware and Software by Predicate Abstraction and Model Checking

Download (229.78 kB)
journal contribution
posted on 2010-01-01, 00:00 authored by Randal E. Bryant, Sriram K Rajamani
This tutorial describes automatic techniques for formally verifying hardware and software by creating Boolean abstractions of the underlying unbounded system state variables.

History

Publisher Statement

All Rights Reserved

Date

2010-01-01

Usage metrics

    Categories

    Keywords

    computer sciencesInformation and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC