文件列表:

.envrc (22, 2023-01-11)
CHANGELOG.md (1243, 2023-01-11)
LICENSE (11343, 2023-01-11)
cabal.project (318, 2023-01-11)
cabal.project.freeze (3343, 2023-01-11)
flake.lock (1027, 2023-01-11)
flake.nix (1623, 2023-01-11)
fourmolu.yaml (190, 2023-01-11)
hie.yaml (225, 2023-01-11)
nix (0, 2023-01-11)
nix\overlays.nix (230, 2023-01-11)
nix\overlays (0, 2023-01-11)
nix\overlays\haskell.nix (400, 2023-01-11)
scripts (0, 2023-01-11)
scripts\fourmolu (419, 2023-01-11)
shell.nix (337, 2023-01-11)
spectacle.cabal (5585, 2023-01-11)
src (0, 2023-01-11)
src\Control (0, 2023-01-11)
src\Control\Applicative (0, 2023-01-11)
src\Control\Applicative\Day.hs (1630, 2023-01-11)
src\Control\Applicative\Phases.hs (4146, 2023-01-11)
src\Control\Applicative\Queue.hs (2384, 2023-01-11)
src\Control\Comonad (0, 2023-01-11)
src\Control\Comonad\Tape.hs (4276, 2023-01-11)
src\Control\Hyper.hs (698, 2023-01-11)
src\Control\Mealy.hs (2262, 2023-01-11)
src\Control\Monad (0, 2023-01-11)
src\Control\Monad\Ref.hs (2372, 2023-01-11)
src\Control\Natural.hs (668, 2023-01-11)
src\Data (0, 2023-01-11)
src\Data\Ascript.hs (1174, 2023-01-11)
src\Data\Bag.hs (2027, 2023-01-11)
src\Data\Fingerprint.hs (2590, 2023-01-11)
... ...

# spectacle [](https://github.com/awakesecurity/spectacle/actions/workflows/ci.yml) `Language.Spectacle` defines an embedded language for writing formal specifications of software in the temporal logic of actions. Specifications written in spectacle can be model-checked and shown to either be correct with respect to temporal properties or refuted by a counterexample. Examples of specifications written in spectacle are provided under `test/integration`.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：