Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

DOI10.1007/B100824MaRDI QIDQ5464768zbMATH OpenOpenAlexFDO

Authors Nicolas Markey, Philippe Schnoebelen

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100824

Mathematics Subject Classification ID

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

Recommendations

• Symbolic model checking for real-time systems
• scientific article; zbMATH DE number 2102690
• Symbolic model checking of timed guarded commands using difference decision diagrams
• scientific article; zbMATH DE number 1324667
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(18)

• Symbolic verification and analysis of discrete timed systems
• Algorithms for monitoring real-time properties
• Symbolic model checking of timed guarded commands using difference decision diagrams
• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• Symbolic timed trace equivalence
• Efficient timed model checking for discrete-time systems
• scientific article; zbMATH DE number 2084331 (Why is no real title available?)
• Symbolic Simulation-Checking of Dense-Time Automata
• scientific article; zbMATH DE number 5368984 (Why is no real title available?)
• Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• scientific article; zbMATH DE number 1324666 (Why is no real title available?)
• scientific article; zbMATH DE number 1324667 (Why is no real title available?)
• Linear temporal logic symbolic model checking
• scientific article; zbMATH DE number 1423228 (Why is no real title available?)
• SMT-based reachability analysis for simply-timed systems
• Theoretical Aspects of Computing – ICTAC 2005
• Computing the bandwidth of meager timed automata

Describes a project that uses

Uses Software

• Kronos
• Uppaal
• NuSMV
• RAVEN

This page was built for publication: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

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