The Erlang verification tool 2001 (English)In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, 2 - 6 Apr 2001, Genova, Italy, Springer, 2001, 1, , p. 3p. 582-585Conference paper, Published paper (Refereed)

Abstract [en]

The Erlang Verification Tool (EVT) is a proof assistant which offers powerful induction techniques to handle dynamic process creation and unbounded data structures. Its graphical user interface provides comfortable access to proof resources.

Place, publisher, year, edition, pages

Springer, 2001, 1. , p. 3p. 582-585

Series

LNCS ; 2031

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:ri:diva-22604DOI: 10.1007/3-540-45319-9OAI: oai:DiVA.org:ri-22604DiVA, id: diva2:1042169

Conference

Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, 2 - 6 Apr 2001, Genova, Italy

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2025-09-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

By organisation

SICS

On the subject

Computer and Information Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 134 hits