Simple on-the-fly automatic verification of linear temporal logic

R.T. Gerth; D. Peled; M.Y. Vardi; P. Wolper

Simple on-the-fly automatic verification of linear temporal logic

R.T. Gerth, D. Peled, M.Y. Vardi, P. Wolper

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)
Editors	P. Dembinski, M. Sredniawa
Publisher	Chapman & Hall
Pages	3-19
ISBN (Print)	0-412-71620-8
Publication status	Published - 1995

Publication series

Name	IFIP Conference Proceedings
Volume	38
ISSN (Print)	1571-5736

Cite this

Gerth, R. T., Peled, D., Vardi, M. Y., & Wolper, P. (1995). Simple on-the-fly automatic verification of linear temporal logic. In P. Dembinski, & M. Sredniawa (Eds.), Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995) (pp. 3-19). (IFIP Conference Proceedings; Vol. 38). Chapman & Hall.

Gerth, R.T. ; Peled, D. ; Vardi, M.Y. ; Wolper, P. / Simple on-the-fly automatic verification of linear temporal logic. Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995). editor / P. Dembinski ; M. Sredniawa. Chapman & Hall, 1995. pp. 3-19 (IFIP Conference Proceedings).

@inproceedings{8977022ce89d4080957a91724ec20510,

title = "Simple on-the-fly automatic verification of linear temporal logic",

author = "R.T. Gerth and D. Peled and M.Y. Vardi and P. Wolper",

year = "1995",

language = "English",

isbn = "0-412-71620-8",

series = "IFIP Conference Proceedings",

publisher = "Chapman & Hall",

pages = "3--19",

editor = "P. Dembinski and M. Sredniawa",

booktitle = "Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)",

address = "United Kingdom",

}

Simple on-the-fly automatic verification of linear temporal logic. / Gerth, R.T.; Peled, D.; Vardi, M.Y.; Wolper, P.

Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995). ed. / P. Dembinski; M. Sredniawa. Chapman & Hall, 1995. p. 3-19 (IFIP Conference Proceedings; Vol. 38).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Simple on-the-fly automatic verification of linear temporal logic

AU - Gerth, R.T.

AU - Peled, D.

AU - Vardi, M.Y.

AU - Wolper, P.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 0-412-71620-8

T3 - IFIP Conference Proceedings

SP - 3

EP - 19

BT - Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)

A2 - Dembinski, P.

A2 - Sredniawa, M.

PB - Chapman & Hall

ER -