Logo des Repositoriums

Auflistung nach Autor:in "Huch, Frank"

1 - 2 von 2
  • Konferenzbeitrag
    5. Arbeitstagung Programmiersprachen (ATPS 2012)
    (Software Engineering 2012, 2012) Huch, Frank; Voigtländer, Janis
  • Konferenzbeitrag
    Model checking Erlang programs – LTL-propositions and abstract interpretation
    (Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Huch, Frank
    We present an approach for the formal verification of Erlang programs using abstract interpretation and model checking. In previous work we defined a framework for the verification of Erlang programs using abstract interpretation and LTL model checking. The application of LTL model checking yields some problems in the verification of state propositions, because propositions are also abstracted in the framework. While state propositions must be satisfied, negated state propositions have to be refuted. We show how this can be decided by means of the abstract domain. The approach is implemented as a prototype and we are able to prove properties like mutual exclusion or the absence of deadlocks and lifelocks for some Erlang programs.