Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems

Authors:
Conrado Daws
Affiliations:
-
Venue:
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Year:
1998

Citing 0
Cited 1

A partial order semantics approach to the clock explosion problem of timed automata

Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)

Quantified Score

Hi-index	0.00

Visualization

Abstract