LTL-model-checking via model composition

DOI10.1007/978-3-642-33512-9_5zbMATH Open1374.68283OpenAlexW2270485354MaRDI QIDQ4899142FDOQ4899142

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1487868
• Distributed Computing - IWDC 2004
• Antichains and compositional algorithms for LTL synthesis
• SOFSEM 2005: Theory and Practice of Computer Science
• Compositional algorithms for LTL synthesis

zbMATH Keywords

model checkingmodel compositionlinear-time logic

Mathematics Subject Classification ID

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

Cited In (10)

• Semi-external LTL Model Checking
• Formula-dependent equivalence for compositional CTL model checking
• From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
• Computer Science Logic
• Model Checking LTL Formulae in RAISE with FDR
• Computer Aided Verification
• Combining search space partition and abstraction for LTL model checking
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: LTL-model-checking via model composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899142)