Paper Info
Title
Specification and Verification with the TLA + Trifecta: TLC, Apalache, and TLAPS.
Abstract
Using an algorithm due to Safra for distributed termination detection as a running example, we present the main tools for verifying specifications written in TLA+. Examining their complementary strengths and weaknesses, we suggest a workflow that supports different types of analysis and that can be adapted to the desired degree of confidence.
Year
DOI
Venue
2022
10.1007/978-3-031-19849-6_6
Leveraging Applications of Formal Methods (ISoLA)
DocType
ISSN
Citations 
Conference
Leveraging Applications of Formal Methods, Verification and Validation. 11th International Symposium, ISoLA 2022, 2022, Rhodes, Greece. pp.88-105
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Igor Konnov15712.06
Markus Kuppe2342.71
Stephan Merz374159.44