Verifying a smart design of TCAP a

by Thomas Arts , Izak Van Langevelde

@MISC{Arts_verifyinga,
    author = {Thomas Arts and Izak Van Langevelde},
    title = {Verifying a smart design of TCAP a},
    year = {}
}

synergetic experience

1225	A calculus of communicating systems - Milner - 1980
87	Concurrent Programming in Erlang - Armstrong, Virding, et al. - 1996
32	Partial order reduction: Linear and branching temporal logics and process algebras - Peled - 1996
26	The syntax and semantics of timed CRL - Groote - 1997
13	CADP (CSAR/ALD EBARAN Development Package): A protocol validation and verification toolbox - Fernandez, Garavel, et al. - 1996
7	On relating concurrency and nondeterminism - Aceto - 1991
3	The CRL home - CWI
3	Open Source Erlang - Erlang
3	Tutorial and reference guide for the CRL toolset verson 1.0 - Groote, Lisser - 1999
3	CCITT specification and description language (SDL), 03/93 edition - Union, int - 1993
3	Signalling System No. 7 - Transaction capabilities procedures, 03/93 edition - Union, int - 1993
1	Cadp (C sar/Aldebaran development package): A protocol validation and veri cation toolbox - Fernandez, Garavel, et al. - 1996
1	CCITT speci cation and description language (SDL), 03/93 edition - Union, int - 1993