Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS
Igor Konnov, Markus A. Kuppe, Stephan Merz
Topics & Concepts
Computer scienceWorkflowStrengths and weaknessesProgramming languageSoftware engineeringDatabaseEpistemologyPhilosophyFormal Methods in VerificationSoftware Testing and Debugging TechniquesLogic, programming, and type systems