scientific article; zbMATH DE number 1324667

MaRDI QIDQ4255572zbMATH OpenFDO

Authors Jesper Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard

Publication date 17 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.009

zbMATH Keywords

difference decision diagrams

Mathematics Subject Classification ID

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

Recommendations

• Symbolic model checking of timed guarded commands using difference decision diagrams
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Theoretical Aspects of Computing – ICTAC 2005
• Symbolic verification and analysis of discrete timed systems
• Symbolic model checking for real-time systems
• scientific article; zbMATH DE number 1423228
• Symbolic Simulation-Checking of Dense-Time Automata
• Efficient timed model checking for discrete-time systems

Cited in

(9)

• Symbolic verification and analysis of discrete timed systems
• Symbolic model checking of timed guarded commands using difference decision diagrams
• scientific article; zbMATH DE number 2084331 (Why is no real title available?)
• Symbolic Simulation-Checking of Dense-Time Automata
• Improvements for the Symbolic Verification of Timed Automata
• Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
• Improved BDD-based discrete analysis of timed systems
• scientific article; zbMATH DE number 2102717 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Describes a project that uses

Uses Software

• Kronos
• Uppaal

This page was built for publication:

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