Formal methods: State of the art and future directions
The work
| Title | Formal methods: State of the art and future directions |
|---|---|
| Authors | Edmund M. Clarke; Jeannette M. Wing |
| 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 |
Copy held
| Kind | PDF, 297.9 kB |
|---|---|
| Retrieved | 2026-08-10 |
| Held | local, for personal reference |
| Where it came from | https://www.cs.cmu.edu/~wing/publications/ClarkeWing96.pdf |
Where this came from
| How it got here | the agent went looking · found via unpaywall |
|---|---|
| First seen | 2026-08-10 |
| Record | reviewed by a person |
| Approved | 2026-08-10 |
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},
volume = {28},
number = {4},
pages = {626--643},
publisher = {Association for Computing Machinery (ACM)},
doi = {10.1145/242223.242257},
url = {https://dl.acm.org/doi/pdf/10.1145/242223.242257},
}
This record lives at https://refs.drheap.org/clarke1996formal/ and will keep doing so.