Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CADE
2010
Springer

favoriteEmaildiscussreport

162views Logical Reasoning» more CADE 2010»

Verifying Safety Properties with the TLA+ Proof System

13 years 3 months ago

Verifying Safety Properties with the TLA+ Proof System

Download www.lix.polytechnique.fr

Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,

Real-time Traffic

CADE 2010 | Logical Reasoning |

claim paper

Related Content

» Formal Hazard Analysis of Hybrid Systems in cTLA

» Open Systems in TLA

» A TLA Proof System

» Mechanical Verification of a Garbage Collector

» Compositional Specification and Structured Verification of Hybrid Systems in cTLA

» A HighLevel Language for Modeling Algorithms and Their Properties

» Verification of safety properties for concurrent assembly code

» Design of a Certifying Compiler Supporting Proof of Program Safety

» Safety Verification of an Aircraft Landing Protocol A Refinement Approach

Post Info
More Details (n/a)

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)