Suchergebnisse - Sellink, Alex

Computer aided verification of protocols: the type theoretic approach = Computer-ondersteund verifiëren van protocollen

von Sellink, Alex

Confluence for process verification

von Groote, Jan F., Sellink, Alex

Proof-checking a data link protocol

von Helmink, L., Sellink, Alex, Vaandrager, Frits W.

Computer aided verification of protocols: the type theoretic approach = Computer-ondersteund verifiëren van protocollen

von Sellink, Alex

Formalising LPOs and invariants in Coq

von Korver, Henri P., Sellink, Alex

Verifying process algebra proofs in type theory

von Sellink, Alex

On automating process algebra proofs

von Korver, Henri P., Sellink, Alex

Proof-checking a data link protocol

von Helmink, L., Sellink, Alex, Vaandrager, F. W.

Verifying modal formulas over I/0-automata by means of type theory

von Sellink, Alex

Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications: Amsterdam, 25 - 26 September 1997

Weitere beteiligte Personen: “… Sellink, Alex …”