On memory-block traversal problems in model-checking timed systems

DOI10.1007/3-540-46419-0_10MaRDI QIDQ2729075zbMATH OpenFDO

Authors Paul Pettersson, Wang Yi, Fredrik Larsson

Publication date 6 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46419-0_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Model-checking for real-time systems
• Distributing timed model checking -- how the search order matters
• Compact data structures and state-space reduction for model-checking real-time systems
• Timed automata
• scientific article; zbMATH DE number 2102690

Cited in

(3)

• Distributing timed model checking -- how the search order matters
• A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems
• X-Block: An Efficient LFSR Reseeding-Based Method to Block Unknowns for Temporal Compactors

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: On memory-block traversal problems in model-checking timed systems

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