Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas (2001) The Erlang verification tool. 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.
Full text not available from this repository.
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.
|Item Type:||Conference or Workshop Item (Paper)|
|Additional Information:||Published by Springer Verlag (LNCS 2031, pages 582-585), DOI: 10.1007/3-540-45319-9|
|Deposited By:||INVALID USER|
|Deposited On:||17 Jun 2008|
|Last Modified:||18 Nov 2009 16:17|
Repository Staff Only: item control page