Author of the publication

Animating TLA Specifications.

, and . LPAR, volume 1705 of Lecture Notes in Computer Science, page 92-110. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction., , and . ECEASST, (2010)Encoding TLA+ set theory into many-sorted first-order logic., and . CoRR, (2015)Model Checking Techniqes for the Analysis of Reactive Systems.. Synthese, 133 (1-2): 173-201 (2002)Formal Verification of a Consensus Algorithm in the Heard-Of Model., and . Int. J. Software and Informatics, 3 (2-3): 273-303 (2009)Compression of Propositional Resolution Proofs via Partial Regularization., , and . CADE, volume 6803 of Lecture Notes in Computer Science, page 237-251. Springer, (2011)Model Checking - Timed UML State Machines and Collaborations., , and . FTRTFT, volume 2469 of Lecture Notes in Computer Science, page 395-416. Springer, (2002)Preface., , , and . J. Autom. Reasoning, 41 (3-4): 191-192 (2008)Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model., and . Archive of Formal Proofs, (2012)Animating TLA Specifications., and . LPAR, volume 1705 of Lecture Notes in Computer Science, page 92-110. Springer, (1999)A TLA+ Proof System., , , and . LPAR Workshops, volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)