J. R. Moonen, O. Sies, J. G. Springintveld, Issn -x, ...
Centrum voor Wiskunde en Informatica A two-level approach to automated conformance testing of VHDL designs
Focus Points and Convergent Process Operators (2007)
Proof Strategy For, J. F. Groote, J. G. Springintveld, Issn -x, Jan Friso Groote, Jan Springintveld
We present a strategy for finding algebraic correctness proofs for communication systems. It is described in the setting of CRL [11], which is, roughly, ACP [2, 3] extended with a formal treatment of...
Exploiting symmetry in protocol testing (1998)
J. G. Springintveld, Issn -x, Copyright Stichting, Mathematisch Centrum, Judi Romijn, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploiting symmetry in protocol testing (1998)
J. Romijn, J. G. Springintveld, Judi Romijn
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of symmetry in the...
Exploiting symmetry in protocol testing (1998)
J. G. Springintveld, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Algebraic Verification of a Distributed Summation Algorithm (1996)
J. F. Groote, J. G. Springintveld, Issn -x, Jan Friso Groote, Jan Springintveld
In this note we present an algebraic verification of Segall's Propagation of Information with Feedback (PIF) algorithm. This algorithm serves as a nice benchmark for verification exercises (see...