| ▲ | esafak 5 hours ago | |
I haven't even used TLA+ yet and now it's got derivatives... My understanding is: TLA+ but like C, functional, and typed. | ||
| ▲ | thesz 2 hours ago | parent | next [-] | |
https://hackage.haskell.org/package/spectacle "Spectacle is an embedded domain-specific language that provides a family of type-level combinators for authoring specifications of program behavior along with a model checker for verifying that user implementations of a program satisfy written specifications." It's in Haskell, but... | ||
| ▲ | amw-zero an hour ago | parent | prev [-] | |
TLA+ is around 30 years old. | ||