Distributed reachability analysis in timed automata
- 28 November 2003
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 7 (1), 19-30
- https://doi.org/10.1007/s10009-003-0111-z
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Static Guard Analysis in Timed Automata VerificationLecture Notes in Computer Science, 2003
- Zeus: A Distributed Timed Model-Checker Based on KronosElectronic Notes in Theoretical Computer Science, 2002
- A Performance Study of Distributed Timed Automata Reachability AnalysisElectronic Notes in Theoretical Computer Science, 2002
- Distributed Symbolic Model Checking for μ-CalculusLecture Notes in Computer Science, 2001
- Scalable Distributed On-the-Fly Symbolic Model CheckingLecture Notes in Computer Science, 2000
- Distributing Timed Model Checking — How the Search Order MattersLecture Notes in Computer Science, 2000
- Parallelizing the Murϕ verifierLecture Notes in Computer Science, 1997
- Parallel state space exploration for GSPN modelsLecture Notes in Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Termination detection for diffusing computationsInformation Processing Letters, 1980