Formal methods: State of the art and future directions
The work
| Authors | Edmund M. Clarke; Jeannette M. Wing |
|---|---|
| Editors | |
| Type | article |
| Year | 1996 |
| Citekey | clarke1996formal |
Where it appeared
| Published in | ACM Computing Surveys |
|---|---|
| Publisher | Association for Computing Machinery (ACM) |
| Volume | 28 |
| Issue | 4 |
| Pages | 626--643 |
Identifiers
| DOI | 10.1145/242223.242257 |
|---|
Access
| Landing page | https://doi.org/10.1145/242223.242257 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/242223.242257 |
Empty on purpose
| abstract |
Related
| Distinct from | burch1992symbolic |
|---|---|
| Distinct from | cardelli1985understanding |
| Distinct from | clarke1986automatic |
| Distinct from | cousot1977abstract |
| Distinct from | craigen1995formal |
| Distinct from | dinsdaleyoung2013views |
| Distinct from | fetzer1993program |
| Distinct from | garavel2020expert |
| Distinct from | ge2019time |
| Distinct from | hoare1996how |
| Distinct from | ishtiaq2001bi |
| Distinct from | luqi1997formal |
| Distinct from | muller2016viper |
| Distinct from | ohearn2001local |
| Distinct from | ohearn2019separation |
| Distinct from | ohearn2020incorrectness |
| Distinct from | parnas2010really |
| Distinct from | qadir2015applying |
| Distinct from | reynolds1983types |
| Distinct from | rushby1993formal |
| Distinct from | rushby2007justintime |
| Distinct from | sergienko1998formal |
| Distinct from | wing1990specifiers |
A copy is held
pdf, 290.9 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-08-10 00:00 UTC |
| Approved by | a person 2026-08-23 14:13 UTC |
Cite it as
@article{clarke1996formal,
title = {Formal methods: State of the art and future directions},
author = {Edmund M. Clarke and Jeannette M. Wing},
year = {1996},
journal = {ACM Computing Surveys},
publisher = {Association for Computing Machinery (ACM)},
volume = {28},
number = {4},
pages = {626--643},
doi = {10.1145/242223.242257},
}
This record lives at https://refs.drheap.org/clarke1996formal/ and will keep doing so.