Temporal reasoning on incomplete paths

Dana Fisman; Hillel Kugler

doi:10.1007/978-3-030-03421-4_3

Temporal reasoning on incomplete paths

Dana Fisman, Hillel Kugler

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Ben-Gurion University of the Negev

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

6 Scopus citations

Abstract

Semantics of temporal logic over truncated paths (i.e. finite paths that correspond to prefixes of computations of the system at hand) have been found useful in incomplete verification methods (such as bounded model checking and dynamic verification), in modeling hardware resets, and clock shifts and in online and offline monitoring of cyber-physical systems. In this paper we explore providing semantics for temporal logics on other types of incomplete paths, namely incomplete ultimately periodic paths, segmentally broken paths and combinations thereof. We review usages of temporal logic reasoning in systems biology, and explore whether systems biology can benefit from the suggested extensions.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	28-52
Number of pages	25
ISBN (Print)	9783030034207
DOIs	https://doi.org/10.1007/978-3-030-03421-4_3
State	Published - 2018
Event	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11245 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Country/Territory	Cyprus
City	Limassol
Period	5/11/18 → 9/11/18

Bibliographical note

Publisher Copyright:
© Springer Nature Switzerland AG 2018.

Funding

Acknowledgment. The research was partially supported by the Horizon 2020 research and innovation programme under grant agreement number 732482 (Bio4Comp).

Funders	Funder number
Horizon 2020 Framework Programme	732482

Access to Document

10.1007/978-3-030-03421-4_3

Cite this

Fisman, D., & Kugler, H. (2018). Temporal reasoning on incomplete paths. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings (pp. 28-52). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11245 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-03421-4_3

Fisman, Dana ; Kugler, Hillel. / Temporal reasoning on incomplete paths. Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2018. pp. 28-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b03611f7e2e848e9b9ebfb1578e82d12,

title = "Temporal reasoning on incomplete paths",

abstract = "Semantics of temporal logic over truncated paths (i.e. finite paths that correspond to prefixes of computations of the system at hand) have been found useful in incomplete verification methods (such as bounded model checking and dynamic verification), in modeling hardware resets, and clock shifts and in online and offline monitoring of cyber-physical systems. In this paper we explore providing semantics for temporal logics on other types of incomplete paths, namely incomplete ultimately periodic paths, segmentally broken paths and combinations thereof. We review usages of temporal logic reasoning in systems biology, and explore whether systems biology can benefit from the suggested extensions.",

author = "Dana Fisman and Hillel Kugler",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

year = "2018",

doi = "10.1007/978-3-030-03421-4_3",

language = "אנגלית",

isbn = "9783030034207",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "28--52",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings",

address = "גרמניה",

}

Fisman, D & Kugler, H 2018, Temporal reasoning on incomplete paths. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11245 LNCS, Springer Verlag, pp. 28-52, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03421-4_3

Temporal reasoning on incomplete paths. / Fisman, Dana; Kugler, Hillel.
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2018. p. 28-52 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11245 LNCS).

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

TY - GEN

T1 - Temporal reasoning on incomplete paths

AU - Fisman, Dana

AU - Kugler, Hillel

PY - 2018

Y1 - 2018

N2 - Semantics of temporal logic over truncated paths (i.e. finite paths that correspond to prefixes of computations of the system at hand) have been found useful in incomplete verification methods (such as bounded model checking and dynamic verification), in modeling hardware resets, and clock shifts and in online and offline monitoring of cyber-physical systems. In this paper we explore providing semantics for temporal logics on other types of incomplete paths, namely incomplete ultimately periodic paths, segmentally broken paths and combinations thereof. We review usages of temporal logic reasoning in systems biology, and explore whether systems biology can benefit from the suggested extensions.

AB - Semantics of temporal logic over truncated paths (i.e. finite paths that correspond to prefixes of computations of the system at hand) have been found useful in incomplete verification methods (such as bounded model checking and dynamic verification), in modeling hardware resets, and clock shifts and in online and offline monitoring of cyber-physical systems. In this paper we explore providing semantics for temporal logics on other types of incomplete paths, namely incomplete ultimately periodic paths, segmentally broken paths and combinations thereof. We review usages of temporal logic reasoning in systems biology, and explore whether systems biology can benefit from the suggested extensions.

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

U2 - 10.1007/978-3-030-03421-4_3

DO - 10.1007/978-3-030-03421-4_3

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85056454338

SN - 9783030034207

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 28

EP - 52

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

Y2 - 5 November 2018 through 9 November 2018

ER -

Fisman D, Kugler H. Temporal reasoning on incomplete paths. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Springer Verlag. 2018. p. 28-52. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-03421-4_3

Temporal reasoning on incomplete paths

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this