Compositional failure detection in structured transition systems

DOI10.1007/978-3-642-22256-6_13MaRDI QIDQ5200059zbMATH OpenOpenAlexFDO

Authors Ingo Felscher, Wolfgang Thomas

Publication date 29 July 2011

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL http://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-008292%22

zbMATH Keywords

model-checkingfinitely synchronized productscompositional failure detection

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4180789
• Incremental model checking for decomposable structures
• Compositional and quantitative model checking (extended abstract)
• COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
• Model Checking Synchronized Products of Infinite Transition Systems

Cites work

• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 1086492 (Why is no real title available?)
• scientific article; zbMATH DE number 1786477 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Algorithmic uses of the Feferman-Vaught theorem
• Compositional failure detection in structured transition systems
• Decision Problems of Finite Automata Design and Related Arithmetics
• Model Theory Makes Formulas Large
• On compositionality and its limitations
• On direct products of theories
• Products of modal logics, part 1
• The compositional method and regular reachability
• The first order properties of products of algebraic systems
• The monadic theory of order
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(4)

• Compositional failure detection in structured transition systems
• Failure detectors in loosely named systems
• COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
• scientific article; zbMATH DE number 2086947 (Why is no real title available?)

This page was built for publication: Compositional failure detection in structured transition systems

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