Carnegie Mellon University
Browse

Research Directions in Programming Language Semantics and Formal Program Verification

Download (637.2 kB)
journal contribution
posted on 2001-08-01, 00:00 authored by Edmund M Clarke
Program correctness is one of the most serious problems in the construction of large software systems.

History

Date

2001-08-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