Sciweavers

Share
CADE
2010
Springer

Verifying Safety Properties with the TLA+ Proof System

11 years 8 days ago
Verifying Safety Properties with the TLA+ Proof System
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,
Added 13 Jan 2011
Updated 13 Jan 2011
Type Journal
Year 2010
Where CADE
Authors Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Comments (0)
books