Dealing with practical limitations of distributed timed model checking for timed automata

DOI10.1007/S10703-006-0012-3MaRDI QIDQ2431767zbMATH OpenOpenAlexFDO

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

Publication date 24 October 2006

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-006-0012-3

zbMATH Keywords

ReachabilityTimed automataRedistributionReconfigurationDBMDistributed timed model checkingLoad-balance

Mathematics Subject Classification ID

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

Recommendations

• \textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}
• On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus
• scientific article; zbMATH DE number 1670779
• Multi-core Reachability for Timed Automata
• Formal Modeling and Analysis of Timed Systems

Cites work

• scientific article; zbMATH DE number 1670779 (Why is no real title available?)
• scientific article; zbMATH DE number 1705169 (Why is no real title available?)
• scientific article; zbMATH DE number 2080061 (Why is no real title available?)
• scientific article; zbMATH DE number 1746649 (Why is no real title available?)
• scientific article; zbMATH DE number 1744967 (Why is no real title available?)
• scientific article; zbMATH DE number 1798187 (Why is no real title available?)
• A scalable parallel algorithm for reachability analysis of very large circuits
• A theory of timed automata
• Computer Aided Verification
• Dealing with practical limitations of distributed timed model checking for timed automata
• Model-checking in dense real-time
• On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus
• Symbolic model checking for real-time systems
• \textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}

Cited in

(6)

• Dealing with practical limitations of distributed timed model checking for timed automata
• scientific article; zbMATH DE number 1670779 (Why is no real title available?)
• \textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus
• Bounded model checking distributed temporal logic

Describes a project that uses

Uses Software

• Uppaal
• Kronos

This page was built for publication: Dealing with practical limitations of distributed timed model checking for timed automata

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