-
Updated
Dec 16, 2020 - Haskell
model-checking
Here are 16 public repositories matching this topic...
A symbolic model checker for Dynamic Epistemic Logic.
-
Updated
May 23, 2024 - Haskell
Experimental Smart Contracts In Plutus.
-
Updated
Mar 12, 2019 - Haskell
LIMA: Language for Integrated Modeling and Analysis
-
Updated
Sep 8, 2018 - Haskell
An experimental verification and querying language for F24 football data
-
Updated
Jan 19, 2017 - Haskell
Efficient On-the-Fly Model Checking for LTL and CTL★.
-
Updated
Dec 21, 2019 - Haskell
Computer Scientist Master Degree - Thesis Work
-
Updated
Feb 8, 2021 - Haskell
A reconfigurator tool for fPromela with support for variability abstractions.
-
Updated
Sep 30, 2016 - Haskell
The easy parallel algorithm specification language
-
Updated
Apr 3, 2022 - Haskell
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
-
Updated
Oct 9, 2023 - Haskell
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
-
Updated
Jun 27, 2020 - Haskell
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
-
Updated
Jun 26, 2023 - Haskell
🗣️📞 Gossip Model Checking
-
Updated
Feb 1, 2024 - Haskell
Symbolic Model Checker for the Gossip Problem
-
Updated
Jun 2, 2024 - Haskell
True Concurrency Workbench: a tool for model-checking true concurrency properties on Petri nets.
-
Updated
Aug 29, 2018 - Haskell
Improve this page
Add a description, image, and links to the model-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-checking topic, visit your repo's landing page and select "manage topics."