Giters

ixmatus / spectacle

Embedded specification language & model checker in Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

spectacle

Embedded specification language & model checker in Haskell.

About

Embedded specification language & model checker in Haskell

License:Apache License 2.0

Languages

Language:Haskell 98.3%Language:Nix 1.2%Language:Shell 0.5%