NCSTRL

Links to tons of other ones

Oxford: The Z page

B-Core: The B-technologies

iLogix: STATEMATE--brief description

iLogix: STATEMATE--family of solutions

iLogix: STATEMATE success stories

NRL: Publications of the Center for High Assurance Computer Systems

UVA: My bibliography

Stanford: Program Analysis and Verification Group Page

Stanford: Murphi (David Dill)

UBC: Nancy Day's homepage (used statecharts)

CMU: Larch--Nitpick--Model Checking (Ed Clarke)

Washington: A bibliography

Last modified: Mon Sep 4 15:09:56 1995