Model checking safety-critical systems specified as X-machines

zbMATH Open1265.68068MaRDI QIDQ3145286FDOQ3145286

George Eleftherakis, Petros Kefalas

Publication date: 19 December 2012

Recommendations

• scientific article
• scientific article
• Testing (stream) X-machines
• scientific article; zbMATH DE number 1633145
• scientific article; zbMATH DE number 1200754

zbMATH Keywords

X-machinesmodel checking verification techniquenon-safe systems

Mathematics Subject Classification ID

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

Cited In (3)

• Model Checking Safety-Critical Systems Using Safecharts
• Title not available (Why is that?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Model checking safety-critical systems specified as X-machines

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