Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov  Home/Search
Context Related
| sics.se/~gena/publications...sttt.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/~gena/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an overview of the main results of the project "Verification of Erlang Programs", which is funded by the Swedish Business Development Agency (NUTEK) and by Ericsson within the ASTEC (Advanced Software TEChnology) initiative. Its main outcome is the Erlang Verification Tool (EVT), a theorem prover which assists in obtaining proofs that Erlang applications satisfy their correctness requirements formulated as behavioural properties in a modal logic with recursion. We give a... (Update)
Cited by: More
Towards Automatic Verification of Erlang Programs by - Calculus Translation Chanchal (Correct)
Are High-level Languages suitable for Robust - Telecoms Software Nystrom (2005) (Correct)
Similar documents (at the sentence level):
30.7%: A Tool for Verifying Software Written in Erlang - Arts, Chugunov, Dam.. (2000) (Correct)
8.1%: Semi-Automated Verification of Erlang Code - Fredlund, Gurov, Noll (2001) (Correct)
6.2%: Verifying a Distributed Database Lookup Manager Written in Erlang - Arts, Dam (1999) (Correct)
Active bibliography (related documents): More All
1.6: Reasoning about Side-Effect Free Erlang Code in a.. - Chugunov (2004) (Correct)
1.1: Functional Programming and Logic Decrease the Use of the Most.. - Arts (2001) (Correct)
0.4: Model Checking Erlang Programs - Abstracting the Context-Free.. - Huch (2001) (Correct)
Similar documents based on text: More All
0.5: System Description: Verification of Distributed Erlang.. - Arts, Dam, Fredlund, Gurov (1998) (Correct)
0.4: Model Checking of Multi-Applet JavaCard Applications - Chugunov, Fredlund, Gurov (2002) (Correct)
0.4: A Framework for Formal Reasoning about Open Distributed Systems - Fredlund, Gurov (1999) (Correct)
Related documents from co-citation: More All
2: Concurrent Programming in Erlang - Armstrong, Williams et al. - 1993
BibTeX entry: (Update)
Fredlund, L., Gurov, D., Noll, T., Dam, M., Arts, T., Chugunov, G.: A verification tool for erlang. International Journal on Software Tools for Technology Transfer 4 (2003) 405--420 http://citeseer.ist.psu.edu/fredlund03verification.html More
@misc{ fredlund-verification,
author = "Lars-{\AA}ke Fredlund and Dilian Gurov and Thomas Noll and Mads Dam and
Thomas Arts and Gennady Chugunov",
title = "A Verification Tool for {E}rlang",
url = "citeseer.ist.psu.edu/fredlund03verification.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
650 An axiomatic basis for computer programming (context) - Hoare - 1969
592 Introduction to HOL: a theorem proving environment for highe.. (context) - Gordon, Melham - 1993
505 Implementing Mathematics with the Nuprl Proof Development Sy.. - Constable, Allen et al. - 1986
447 Prentice Hall International (context) - Milner, Concurrency - 1989
242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1996
165 Theoretical Computer Science (context) - Kozen, the et al. - 1983
82 volume 828 of Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
51 PVS: Combining speci cation (context) - Owre, Rajan et al. - 1996
39 A note on model checking the modal -calculus (context) - Winskel - 1991
37 The Coq proof assistant user's guide version (context) - Dowek, Felty et al. - 1993
31 Theoretical Computer Science (context) - Park, mu-Ine - 1976
24 Verifying a distributed database lookup manager written in E.. - Arts, Dam - 1999
20 Compositionality via cut-elimination: Hennessy-Milner logic .. - Simpson - 1995
19 Proving properties of dynamic process networks - Dam - 1998
18 A generic approach to building user interfaces for theorem p.. - Bertot, Thery - 1998
17 An intuitionistic predicate logic theorem prover (context) - Sahlin, Franz et al. - 1992
16 calculus with explicit points and approximations - Dam, Gurov - 2000
14 Veri cation of Erlang programs using abstract interpretation.. (context) - Huch - 1999
12 A Framework for Reasoning about Erlang Code (context) - Fredlund - 2001
10 A framework for formal reasoning about open distributed syst.. - Fredlund, Gurov - 1999
10 Toward parametric veri cation of open distributed systems (context) - Dam, Fredlund et al.
9 System description: Veri cation of distributed Erlang progra.. (context) - Arts, Dam et al. - 1998
7 Verifying generic Erlang client{ server implementations - Arts, Noll - 2001
5 Compositional veri cation of CCS processes (context) - Dam, Gurov - 1999
4 Veri cation of Erlang programs: Factoring out the side-e ect.. (context) - Gurov, Chugunov - 2000
4 The graph visualization system daVinci { a user interface fo.. - Fr, Werner - 1994
3 The Erlang Veri cation Tool (context) - Fredlund, Gurov et al. - 2001
3 De nition of Standard ML { Revised (context) - Milner, Tofte et al. - 1997
3 Mnesia database management system (context) - Wikstr, Nilsson et al. - 1997
3 Patent Application (context) - Nilsson - 1999
3 carrying code (context) - Necula - 1997
Documents on the same site (http://www.sics.se/~gena/):
Checking Absence of Illicit Applet Interactions: A Case.. - Huisman, Gurov.. (2004) (Correct)
Model Checking of Multi-Applet JavaCard Applications - Chugunov, Fredlund, Gurov (2002) (Correct)
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