|
|
Functional Programming and Logic Decrease the Use of the Most Important Part of Our System
– Thomas Arts
- 2001
|
|
1
|
Extracting the processes structure of ERLANG applications
– Jan Nyström, Bengt Jonsson
|
|
4
|
Global Scheduler Properties derived from Local Restrictions
– Thomas Arts, Juan José Sánchez Penas
- 2002
|
|
|
Verifying a Smart Design of TCAP
– Thomas Arts, I.A. van Langevelde, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Izak Van Langevelde
- 1999
|
|
4
|
On the Verification of Coordination
– Paul Dechering, Izak Van Langevelde
- 2000
|
|
2
|
Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL
– Qiang Guo, John Derrick
- 2006
|
|
8
|
Evaluating distributed functional languages for telecommunications software
– J. H. Nyström, P. W. Trinder
- 2003
|
|
4
|
A Compact File Format for Labeled Transition Systems
– I.A. van Langevelde, Izak Van Langevelde
- 2001
|
|
|
Formal Specification
– Deliverable Gmd Forschungszentrum, Part A -inco-copernicus
|
|
|
Report on Concepts for Integration
– Deliverable Gmd Forschungszentrum, Part A Inco-copernicus
|
|
|
Manual for the μCRL toolset (version 1.11)
– Arno Wouters
- 2000
|
|
16
|
Computer Assisted Manipulation of Algebraic Process Specifications
– J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser
- 2001
|
|
3
|
Bandera Specification Language: A Specification Language for Software Model Checking
– Robby
- 2000
|
|
42
|
A Language Framework For Expressing Checkable Properties of Dynamic Software
– James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
- 2000
|
|
1
|
Model Checking Erlang Programs -- Abstracting the Context-Free Struckture
– Frank Huch
- 2001
|
|
514
|
Bandera: Extracting Finite-state Models from Java Source Code
– James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng
- 2000
|
|
1
|
A Distributed Model Checking Tool Tailored to Erlang
– Martin Leucker, Thomas Noll
- 2001
|
|
1
|
Verification of language based fault-tolerance
– Clara Benac Earle, Lars- ˚ake Fredlund
- 2005
|
|
3
|
Verifying and Testing Asynchronous Circuits using LOTOS
– Ji He, Kenneth J. Turner
- 2000
|
