Searching for ribbon-shaped paths in fair transition systems

DOI10.1007/978-3-030-99524-9_30MaRDI QIDQ6535577zbMATH OpenFDO

Authors Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktoria Vozarova

Publication date 23 January 2024

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

model checkingdiagnosabilityliveness to safety

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Diagnosability of fair transition systems
• A tale of two diagnoses in probabilistic systems
• Fairness of transitions in diagnosability of discrete event systems
• Diagnosability of repairable faults
• Diagnosis in infinite-state probabilistic systems

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 3993549 (Why is no real title available?)
• scientific article; zbMATH DE number 7088727 (Why is no real title available?)
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Binary decision diagrams
• Diagnosability of discrete-event systems
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• Model checking quantitative hyperproperties
• SAT-Based Model Checking without Unrolling
• Secure information flow by self-composition

This page was built for publication: Searching for ribbon-shaped paths in fair transition systems

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