SeqCheck: a model checking tool for interactive systems.

Jessica Turner, Judy Bowen, Steve Reeves

Browse the full EICS paper archive.