Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS.

Igor Konnov Markus Kuppe Stephan Merz

Published in: CoRR (2022)

Keyphrases

formal verification
model checking
temporal logic
formal methods
asynchronous circuits
protocol specification
formal specification
model checker
reactive systems
concurrent systems
verification method
high level
specification language
linear temporal logic
real world
active learning
multiscale
information retrieval