Formal Methods: State of the Art and Future Directions (1996)
Cached
Download Links
- [www.cs.cmu.edu]
- [www.cs.utah.edu]
- [www.cis.upenn.edu]
- [www.dwheeler.com]
- CiteULike
- DBLP
Other Repositories/Bibliography
| Venue: | ACM Computing Surveys |
| Citations: | 329 - 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}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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...
Citations
No citations identified.
