4 ms·
What you’re describing sounds like TLA+, among other modeling languages.
by threatofrain 7y ago
What you’re describing sounds like TLA+, among other modeling languages.
- User23 7y agoLamport, Dijkstra, Scholten, Hoare, and Knuth, to name just a few, are giants in the field who routinely read each other’s work. I’m positive TLA+ is directly influenced by predicate transformer program semantics.