Literature
- [1]
- Gerd Behrmann, Alexandre David and Kim G. Larsen.
A Tutorial on Uppaal.
In Marco Bernardo and Flavio Corradini, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Volume 3185 of LNCS, Springer-Verlag 2004.
(PDF) - [2]
- Henning Dierks.
Comparing Model-Checking and Logical Reasoning for Real-Time Systems.
Formal Aspects of Computing 16 (2):104-120, 2004.
(PDF) - [3]
- Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog and Alexander Baer.
The UniForM Workbench, a Universal Development Environment for Formal Methods.
In Jeannette M. Wing, Jim Woodcock and Jim Davies, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM 1999), Volume 1709 of LNCS, pp. 1186-1205, Springer-Verlag 1999.
(PDF) - [4]
- Ernst-Rüdiger Olderog and Henning Dierks.
Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
Journal of Universal Computer Science 9 (2):88-105, 2003.
(PDF) - [5]
- Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel and Andreas Podelski.
Faster than Uppaal?
In Aarti Gupta and Sharad Malik, Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), Volume 5123 of LNCS, pp. 552-555, Springer-Verlag 2008.
(PDF) - [6]
- Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks and Gerd Behrmann.
Adapting an AI Planning Heuristic for Directed Model Checking.
In Antti Valmari, Proceedings of the 13th International SPIN Workshop (SPIN 2006), Volume 3925 of LNCS, pp. 35-52, Springer-Verlag 2006.
(PDF) - [7]
- Martin Wehrle, Sebastian Kupferschmid and Andreas Podelski.
Transition-Based Directed Model Checking.
In Stefan Kowalewski and Anna Philippou, Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), Volume 5505 of LNCS, pp. 186-200, Springer-Verlag 2009.
(PDF) - [8]
- Martin Wehrle, Sebastian Kupferschmid and Andreas Podelski.
Useless Actions are Useful.
In Jussi Rintanen, Bernhard Nebel, J. Christopher Beck and Eric Hansen, Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), , pp. 388-395, AAAI Press 2008.
(PDF)
