Publications of Special Field DAWN

Journal and Book Articles

• Thomas Baar and Ekkart Kindler. ILF and DAWN for verifying distributed algorithms - an idea for a tool. Fundamenta Informaticae, 37(3): 201-211, February 1999.

Workshop and Conference Papers

• Thomas Baar, Ekkart Kindler, and Hagen Völzer. Verifying Intuition - ILF Checks DAWN Proofs. In Application and Theory of Petri Nets, 20th International Conference, ICATPN '99, Proceedings, volume 1639 of Lecture Notes in Computer Science, pages 404-424, 1999. Springer-Verlag. Note: Also in: Informatik-Bericht der Humboldt-Universität zu Berlin, Nr. 119, March 1999.

  Abstract: The DAWN approach allows to model and verify distributed algorithms in an intuitive way. At a first glance, a DAWN proof may appear to be informal. In this paper, we argue that DAWN proofs are formal and can be checked for correctness fully automatically by automated theorem provers. The basic technique are proof rules which generate proof obligations. For the definition of the proof rules we adopt assertions and we introduce conflict formulas for algebraic Petri nets. Experiments show that the generated proof obligations can be automatically checked by theorem provers.

  

Technical Reports

• Thomas Baar and Ekkart Kindler. Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie. Informatik-Berichte 99, Humboldt-Universität zu Berlin, March 1998.

• Michael Weber, Rolf Walter, Hagen Völzer, Tobias Vesper, Wolfgang Reisig, Sibylle Peuker, Ekkard Kindler, Jörn Freiheit, and Jörg Desel. DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. Informatik-Berichte 88, Humboldt-Universität zu Berlin, December 1997. Note: Errata: http://www.informatik.hu-berlin.de/top/download/publications/WeberWVVRPKFD1997_hub_tr88-errata.ps.

Research Paper and Master Thesis

• Abdourahaman. DAWN-ILF Tool. Modelchecking Anwendung. Diplomarbeit, Humboldt-Universität zu Berlin, September 2000.

• S. Unger. Automatisches Überprüfen von DAWN-Beweisen. Diplomarbeit, Humboldt-Universität zu Berlin, October 1999.

back to overview