An inheritance-based technique for building simulation proofs incrementally.

Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman

Browse the full ICSE paper archive.