Mcta

Directed Model Checking for Real-time Systems

• Home
• Directed Model Checking
• Downloads
• Benchmarks
• Literature

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]

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)

[3]

Henning Dierks.
Comparing Model-Checking and Logical Reasoning for Real-Time Systems.
Formal Aspects of Computing 16 (2):104-120, 2004.
(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]

Martin Wehrle and Sebastian Kupferschmid.
Mcta: Heuristics and Search for Timed Systems.
In Marcin Jurdzinski and Dejan Nickovic, Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), Volume 7595 of LNCS, pp. 252-266, Springer-Verlag 2012.
(PDF)

[7]

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)

[8]

Joseph C. Culberson and Jonathan Schaeffer.
Pattern Databases.
Computational Intelligence 14 (3):318-334, 1998.

[9]

Sebastian Kupferschmid and Martin Wehrle.
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.
In Parosh A. Abdulla and K. Rustan M. Leino, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), Volume 6605 of LNCS, pp. 276-290, Springer-Verlag 2011.
(PDF)

[10]

Gabriele Röger and Malte Helmert.
The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning.
In Ronen I. Brafman, Hector Geffner, Jörg Hoffmann and Henry A. Kautz, Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, , pp. 246-249, AAAI Press 2010.

[11]

Jörg Hoffmann and Bernhard Nebel.
The FF Planning System: Fast Plan Generation Through Heuristic Search.
Journal of Artificial Intelligence Research 14:253-302, 2001.

[12]

Malte Helmert.
The Fast Downward Planning System.
Journal of Artificial Intelligence Research 26:191-246, 2006.

[13]

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)

[14]

Madanlal Musuvathi and Shaz Qadeer.
Iterative context bounding for systematic testing of multithreaded programs.
In Jeanne Ferrante and Kathryn S. McKinley, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), , pp. 446-455, 2007.

[15]

Martin Wehrle and Sebastian Kupferschmid.
Context-Enhanced Directed Model Checking.
In Jaco van de Pol and Michael Weber, Proceedings of the 17th International SPIN Workshop (SPIN 2010), Volume of LNCS, pp. 88-105, Springer-Verlag 2010.
(PDF)

[16]

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)