Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
I. Konnov, H. Veith, J. Widder:
"Who is afraid of Model Checking Distributed Algorithms?";
Vortrag: Workshop on Exploiting Concurrency Efficiently and Correctly,
Berkeley, CA, USA;
07.07.2012
- 08.07.2012.
Kurzfassung englisch:
While distributed algorithms is a highly active area, and
the correctness of distributed algorithms is usually based on very subtle
mathematical arguments, there have been very limited efforts to achieve
automated verification of distributed algorithms. In this note we discuss
the major technical obstacles and methodological challenges. Our hope
is that the collection of issues collected in this position paper will isolate
the most urgent and open research questions to brave future researchers.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_208935.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.