CSTalks - Model Checking - 26 Jan
Real Time Systems
An improved on-the-fly tableau construction for a real-time temporal logic Marc Geilen 12 July 2003 /e.
Timed Automata Rajeev Alur University of Pennsylvania alur/ SFM-RT, Bertinoro, Sept 2004.
Parameterized Model Checking for Timed Systems with Conjunctive Guards
Uppaal 4.0
Chapter 16 : KRONOS (Model Checking of Real-time Systems) JIHO YANG.
Hybrid Systems Presented by: Arnab De Anand S. An Intuitive Introduction to Hybrid Systems Discrete program with an analog environment. What does it mean?
From Boolean to Quantitative System Specifications Tom Henzinger EPFL.
Towards Interoperability Test Generation of Time Dependent Protocols: a Case Study Zhiliang Wang, Jianping Wu, Xia Yin Department of Computer Science Tsinghua.
From Boolean to Quantitative System Specifications
Model Checking for Probabilistic Timed Systems
