Project description

Spectacle is an open source, domain-specific language for writing and checking formal specifications in Haskell, by Awake Security. It is designed to replace TLA+ for formally specifying Haskell software, to achieve feature parity with TLA+ while improving on several aspects of TLA+ and TLC.

Metadata

• homepage URL: https://awakesecurity.com/blog/spectacle-a-language-for-writing-and-checking-formal-specifications-in-haskell/
• source URL: https://github.com/awakesecurity/spectacle
• license: Apache 2.0
• platforms: linux, darwin