An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

DOI10.1007/978-3-319-66197-1_7zbMath1420.68120OpenAlexW2742286859MaRDI QIDQ5194653

Angelo Montanari, Laura Bozzelli, Adriano Peron, Alberto Molinari

Publication date: 16 September 2019

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11390/1120030

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (4)

Model checking interval temporal logics with regular expressions ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

This page was built for publication: An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions