Formal Methods: State of the Art and Future Directions

DMCA

Formal Methods: State of the Art and Future Directions (1996)

Cached

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by Edmund M. Clarke , Jeannette M. Wing

Venue:	ACM Computing Surveys
Citations:	425 - 6 self

BibTeX

@ARTICLE{Clarke96formalmethods:,
    author = {Edmund M. Clarke and Jeannette M. Wing},
    title = {Formal Methods: State of the Art and Future Directions},
    journal = {ACM Computing Surveys},
    year = {1996},
    volume = {28},
    pages = {626--643}
}

OpenURL

Abstract

ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM Inc., 1515 Broadway, New York, NY 10036 USA, fax +1 (212) 869-0481, or permissions@acm.org. 2 \Delta E.M. Clarke and J.M. Wing About Programs---Mechanical verification, Specification techniques; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic---Mechanical theorem proving General Terms: Software engineering, formal methods, hardware verification Additional Key Words and Phrases: Software specification, model checking, theorem proving 1. INTRODUCTION Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the likelihood of subtle errors is much greater. Moreover, some of these errors may cause catastrophic loss of money, time, or even huma...

Keyphrases

formal method future direction prior specific permission subtle error general term j.m. wing software engineering delta e.m. clarke introduction hardware acm inc catastrophic loss software specification publication dept formal language model checking mathematical logic software system program mechanical verification new york mathematical logic mechanical theorem hardware verification additional key word

DMCA