Efficient scaling-invariant checking of timed bisimulation

DOI10.1007/BFb0023458zbMath1498.68175OpenAlexW1565034387MaRDI QIDQ5047170

Carsten Weise, Dirk Lenzkes

Publication date: 9 November 2022

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

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

zbMATH Keywords

verificationreal-time systemsdecidabilitytimed bisimulation

Mathematics Subject Classification ID

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

Related Items (2)

Testing timed automata ⋮ Analysis of equivalence relations of event structures with continuous time

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• Model-checking in dense real-time
• A theory of timed automata
• From ATP to timed graphs and hybrid systems
• Parametric real-time reasoning

This page was built for publication: Efficient scaling-invariant checking of timed bisimulation