Zeus: A Distributed Timed Model-Checker Based on Kronos
Open Access
- 31 October 2002
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 68 (4), 503-522
- https://doi.org/10.1016/s1571-0661(05)80389-5
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Timing assumptions and verification of finite-state concurrent systemsLecture Notes in Computer Science, 1990