Verification of timed and hybrid systems

Authors:
Kim Guldstrand Larsen
Affiliations:
BRICS, Dep. of Computer Science, Aalborg University, Denmark
Venue:
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Year:
2000

Citing 8
Cited 0

Partial Order Reductions for Timed Systems

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
The Impressive Power of Stopwatches

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The Power of Reachability Testing for Timed Automata

Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Distributing Timed Model Checking - How the Search Order Matters

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Clock difference diagrams

Nordic Journal of Computing
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Model-checking real-time control programs: verifying LEGO® MINDSTROMS™ system using UPPAL

Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

UPPAAL [UPP, BLL+98] is an integrated tool environment for modelling, simulating and verification of real-time and hybrid systems, developed jointly by BRICS at Aalborg University in Denmark and by DoCS at Uppsala University in Sweden. In this talk we will review the status of the currently distributed version of UPPAAL and describe in more detail the ongoing developments which are to be incorporated in future releases of the tool.