LTL-Model-Checking via Model Composition

DOI10.1007/978-3-642-33512-9_5zbMath1374.68283OpenAlexW2270485354MaRDI QIDQ4899142

Ingo Felscher

Publication date: 7 January 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33512-9_5

zbMATH Keywords

model checkingmodel compositionlinear-time logic

Mathematics Subject Classification ID

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

Related Items (1)

From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory

This page was built for publication: LTL-Model-Checking via Model Composition