TLA+ - The Temporal Logic of Actions
0 subscribers
Info
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
Stats
Joined Invalid Date
0 total views
0 subscribers
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.