LTL-model-checking via model composition

DOI10.1007/978-3-642-33512-9_5MaRDI QIDQ4899142zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model checkingmodel compositionlinear-time logic

Mathematics Subject Classification ID

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

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

Cited in

(10)

• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
• Computer Aided Verification
• Computer Science Logic
• Combining search space partition and abstraction for LTL model checking
• scientific article; zbMATH DE number 7559425 (Why is no real title available?)
• scientific article; zbMATH DE number 1670845 (Why is no real title available?)
• Semi-external LTL Model Checking
• Formula-dependent equivalence for compositional CTL model checking
• Model Checking LTL Formulae in RAISE with FDR

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)