Go backward to Example: Type Correctness
Go up to Top
Go forward to General Invariance Proofs

Proof

Proofs "mechanically" guided by the structure of formulas.


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: tla2.tex,v 1.2 96/05/06 10:48:53 schreine Exp Locker: schreine

Prev Up Next