Validating Traces of Distributed Programs Against TLA+ Specifications.

Horatiu Cirstea Markus A. Kuppe Benjamin Loillier Stephan Merz

Published in: CoRR (2024)

Keyphrases

distributed systems
distributed environment
cooperative
control flow
automatic programming
temporal logic
neural network
lightweight
recursive programs
distributed network
formal specification
peer to peer
search engine
model checking
data flow
mobile robot
case study
knowledge base
e learning