T. Arts, G. Chuganov, M. Dam, L.-. Fredlund, D. Gurov, and T. Noll. A tool for verifying software written in Erlang. Accepted for publication in STTT Journal, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Structure of Inductive Reasoning: Circular and.. - Sprenger, Dam Self-citation (Dam) (Correct)
No context found.
T. Arts, G. Chuganov, M. Dam, L.-. Fredlund, D. Gurov, and T. Noll. A tool for verifying software written in Erlang. Accepted for publication in STTT Journal, 2001.
Verification of a Simple Distributed Algorithm in Erlang - Chugunov, Fredlund Self-citation (Chugunov Fredlund) (Correct)
....language [1] The network topology considered in the veri cation example is a linked list of processes. The correctness properties of the algorithm are expressed in the modal calculus extended with data. For proving that the program satis es its speci cation, we use the Erlang Veri cation Tool [3] (henceforth EVT) a general purpose proof assistant tool in which a small step operational semantics of Erlang has been embedded. The underlying proof system is a Gentzen style one, with a particular emphasis on a lazy scheme for xed point induction and proof rules for compositional reasoning ....
T. Arts, G. Chugunov, M. Dam, L.-a. Fredlund, D. Gurov, and T. Noll. A Tool for Verifying Software Written in Erlang, Submitted to the International Journal, Software Tools for Technology Transfer.
Extracting the processes structure of ERLANG applications - Nyström, Jonsson (Correct)
No context found.
Arts, T., Chugunov, G., Dam, M., Fredlund, L.-a., Gurov, D., Noll, T., 2000: A Tool for Verifying Software Written in Erlang, submitted to Software Tools for Technology Transfer.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC