Model Checking Temporal Metric Specifications with Trio2Promela
From MaRDI portal
Publication:3508543
DOI10.1007/978-3-540-75698-9_26zbMath1141.68452OpenAlexW4238389791MaRDI QIDQ3508543
Paola Spoletini, Matteo Pradella, Pierluigi San Pietro, Domenico Bianculli, Angelo Morzenti
Publication date: 1 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_26
Related Items
Metric temporal logic revisited ⋮ Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
Uses Software