\textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}

MaRDI QIDQ2842852zbMATH OpenFDO

Authors V. Braberman, A. Olivero, F. Schapachnik

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105803895

Mathematics Subject Classification ID

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

Recommendations

• On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus
• Dealing with practical limitations of distributed timed model checking for timed automata
• scientific article; zbMATH DE number 1670779
• scientific article; zbMATH DE number 1507209
• Formal Modeling and Analysis of Timed Systems

Cited in

(3)

• Dealing with practical limitations of distributed timed model checking for timed automata
• On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus
• Improving search order for reachability testing in timed automata

This page was built for publication: \textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}

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