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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProtocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)
EditorsP. Dembinski, M. Sredniawa
PublisherChapman & Hall
ISBN (Print)0-412-71620-8
Publication statusPublished - 1995

Publication series

NameIFIP Conference Proceedings
ISSN (Print)1571-5736

Cite this