Formal methods: State of the art and future directions

Edmund M. Clarke; Jeannette M. Wing; Rajeev Alur; Edmund Clarke; Rance Cleaveland; David Dill; Allen Emerson; Stephen Garland; Steven German; John Guttag; Anthony Hall; Thomas Henzinger; Gerard Holzmann; Cliff Jones; Robert Kurshan; Nancy Leveson; Kenneth McMillan; J. Moore; Doron Peled; Amir Pnueli; John Rushby; Natarajan Shankar; Joseph Sifakis; Prasad Sistla; Bernhard Steffen; Pierre Wolper; Jeannette Wing; Jim Woodcock; Pamela Zave

doi:10.1145/242223.242257

Formal methods: State of the art and future directions

Edmund M. Clarke, Jeannette M. Wing, Rajeev Alur, Edmund Clarke, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth McMillan, J. Moore, Doron Peled, Amir PnueliJohn Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jeannette Wing, Jim Woodcock, Pamela Zave

Carnegie Mellon University

Research output: Contribution to journal › Article › peer-review

792 Scopus citations

Original language	English
Pages (from-to)	626-643
Number of pages	18
Journal	ACM Computing Surveys
Volume	28
Issue number	4
DOIs	https://doi.org/10.1145/242223.242257
State	Published - Dec 1996
Externally published	Yes

Access to Document

10.1145/242223.242257

Cite this

Clarke, E. M., Wing, J. M., Alur, R., Clarke, E., Cleaveland, R., Dill, D., Emerson, A., Garland, S., German, S., Guttag, J., Hall, A., Henzinger, T., Holzmann, G., Jones, C., Kurshan, R., Leveson, N., McMillan, K., Moore, J., Peled, D., ... Zave, P. (1996). Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4), 626-643. https://doi.org/10.1145/242223.242257

@article{7edd494e4eee40bc823609205ee7cb3d,

title = "Formal methods: State of the art and future directions",

author = "Clarke, {Edmund M.} and Wing, {Jeannette M.} and Rajeev Alur and Edmund Clarke and Rance Cleaveland and David Dill and Allen Emerson and Stephen Garland and Steven German and John Guttag and Anthony Hall and Thomas Henzinger and Gerard Holzmann and Cliff Jones and Robert Kurshan and Nancy Leveson and Kenneth McMillan and J. Moore and Doron Peled and Amir Pnueli and John Rushby and Natarajan Shankar and Joseph Sifakis and Prasad Sistla and Bernhard Steffen and Pierre Wolper and Jeannette Wing and Jim Woodcock and Pamela Zave",

year = "1996",

month = dec,

doi = "10.1145/242223.242257",

language = "אנגלית",

volume = "28",

pages = "626--643",

journal = "ACM Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "4",

}

Clarke, EM, Wing, JM, Alur, R, Clarke, E, Cleaveland, R, Dill, D, Emerson, A, Garland, S, German, S, Guttag, J, Hall, A, Henzinger, T, Holzmann, G, Jones, C, Kurshan, R, Leveson, N, McMillan, K, Moore, J, Peled, D, Pnueli, A, Rushby, J, Shankar, N, Sifakis, J, Sistla, P, Steffen, B, Wolper, P, Wing, J, Woodcock, J & Zave, P 1996, 'Formal methods: State of the art and future directions', ACM Computing Surveys, vol. 28, no. 4, pp. 626-643. https://doi.org/10.1145/242223.242257

TY - JOUR

T1 - Formal methods

T2 - State of the art and future directions

AU - Clarke, Edmund M.

AU - Wing, Jeannette M.

AU - Alur, Rajeev

AU - Clarke, Edmund

AU - Cleaveland, Rance

AU - Dill, David

AU - Emerson, Allen

AU - Garland, Stephen

AU - German, Steven

AU - Guttag, John

AU - Hall, Anthony

AU - Henzinger, Thomas

AU - Holzmann, Gerard

AU - Jones, Cliff

AU - Kurshan, Robert

AU - Leveson, Nancy

AU - McMillan, Kenneth

AU - Moore, J.

AU - Peled, Doron

AU - Pnueli, Amir

AU - Rushby, John

AU - Shankar, Natarajan

AU - Sifakis, Joseph

AU - Sistla, Prasad

AU - Steffen, Bernhard

AU - Wolper, Pierre

AU - Wing, Jeannette

AU - Woodcock, Jim

AU - Zave, Pamela

PY - 1996/12

Y1 - 1996/12

UR - http://www.scopus.com/inward/record.url?scp=0000289556&partnerID=8YFLogxK

U2 - 10.1145/242223.242257

DO - 10.1145/242223.242257

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0000289556

SN - 0360-0300

VL - 28

SP - 626

EP - 643

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 4

ER -

Formal methods: State of the art and future directions

Access to Document

Other files and links

Cite this