DSL for experimenting with contracts

Implementation
,
11

PLA+

It’s TLA+ (for “Temporal Logic of Actions”)

2 Likes