Timed CTL Model Checking in Real-Time Maude
From MaRDI portal
Publication:3164837
DOI10.1007/978-3-642-34005-5_10zbMath1366.68176OpenAlexW67685885MaRDI QIDQ3164837
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
Publication date: 16 October 2012
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-34005-5_10
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (1)
Uses Software
This page was built for publication: Timed CTL Model Checking in Real-Time Maude