Article

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

Authors:

Rob Gerth,

Doron Peled,

Moshe Y. Vardi,

Pierre WolperAuthors Info & Claims

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV

Pages 3 - 18

Published: 01 June 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Garcia LMitsch SPlatzer ALiu XTabuada PPajic MBushnell L(2019)Toward multi-task support and security analyses in PLC program translation for verificationProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3313335(348-349)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3313335
Garcia LMitsch SPlatzer ALiu XTabuada PPajic MBushnell L(2019)HyPLCProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3311036(47-56)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3311036
Bae KLee J(2019)Bounded model checking of signal temporal logic properties using syntactic separationProceedings of the ACM on Programming Languages10.1145/32903643:POPL(1-30)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290364
Show More Cited By

Index Terms

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

Index terms have been assigned to the content through auto-classification.

Recommendations

Constructive linear-time temporal logic: Proof systems and Kripke semantics

In this paper we study a version of constructive linear-time temporal logic (LTL) with the ''next'' temporal operator. The logic is originally due to Davies, who has shown that the proof system of the logic corresponds to a type system for binding-time ...
A Paraconsistent Linear-time Temporal Logic

Inconsistency-tolerant reasoning and paraconsistent logic are of growing importance not only in Knowledge Representation, AI and other areas of Computer Science, but also in Philosophical Logic. In this paper, a new logic, paraconsistent linear-time ...
Generating linear temporal logic formulas for complex pattern-based specifications

Comments

Information & Contributors

Information

Published In

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV

June 1995

426 pages

ISBN:0412716208

Publisher

Chapman & Hall, Ltd.

United Kingdom

Publication History

Published: 01 June 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

163
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Garcia LMitsch SPlatzer ALiu XTabuada PPajic MBushnell L(2019)Toward multi-task support and security analyses in PLC program translation for verificationProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3313335(348-349)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3313335
Garcia LMitsch SPlatzer ALiu XTabuada PPajic MBushnell L(2019)HyPLCProceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems10.1145/3302509.3311036(47-56)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302509.3311036
Bae KLee J(2019)Bounded model checking of signal temporal logic properties using syntactic separationProceedings of the ACM on Programming Languages10.1145/32903643:POPL(1-30)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290364
Ferrère TMaler ONičković DPnueli A(2019)From Real-time Logic to Timed AutomataJournal of the ACM10.1145/328697666:3(1-31)Online publication date: 23-May-2019
https://dl.acm.org/doi/10.1145/3286976
Aniculaesei AVorwald ARausch APretschner AVoss SBurgueño L(2019)Using the SCADE toolchain to generate requirements-based test cases for an adapative cruise control systemProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00079(503-513)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00079
Zhang LHe WMartinez JBrackenbury NLu SUr BAtlee JBultan TWhittle J(2019)AutoTapProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00043(281-291)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00043
Etigowni SHossain-McKenzie SKazerooni MDavis KZonouz S(2018)Crystal (ball)Proceedings of the 34th Annual Computer Security Applications Conference10.1145/3274694.3274724(553-565)Online publication date: 3-Dec-2018
https://dl.acm.org/doi/10.1145/3274694.3274724
Jakšić SBartocci EGrosu RNguyen TNiă?Ković D(2018)Quantitative monitoring of STL with edit distanceFormal Methods in System Design10.1007/s10703-018-0319-x53:1(83-112)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s10703-018-0319-x
Edelkamp SGreulich C(2018)A case study of planning for smart factoriesInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-018-0498-120:5(515-528)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10009-018-0498-1
Tsigkanos CKehrer TGhezzi CBodden ESchäfer WDeursen AZisman A(2017)Modeling and verification of evolving cyber-physical spacesProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106299(38-48)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3106299
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Constructive linear-time temporal logic: Proof systems and Kripke semantics

A Paraconsistent Linear-time Temporal Logic

Generating linear temporal logic formulas for complex pattern-based specifications

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations