Topic: "model-checking"
marcusm117/mctk
Python Package Model Checking Toolkit
Language: Python - Size: 2.74 MB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker-Test-Generator
A test generator application designed to create performance benchmarks for SymploeoPC
Language: Java - Size: 17.6 MB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
m4lvin/mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
Language: Haskell - Size: 370 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
nicolasAmat/Kong
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).
Language: Python - Size: 1.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1
asminer/smart
Stochastic Model-checking Analyzer for Reliability and Timing
Language: C++ - Size: 33.5 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 3
florentdelgrange/vae_mdp
Implementation of Variational Markov Decision Processes, a framework allowing to (i) distill policies learned through (deep) reinforcement learning and (ii) learn discrete abstractions of continuous environments, the two with bisimulation guarantees.
Language: Jupyter Notebook - Size: 236 MB - Last synced at: 4 days ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 2
sgomber/traffic-controller-NuSMV
Project done for my B.Tech course on Formal Methods for System Verification
Size: 354 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
spidermoy/Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
Language: Haskell - Size: 2.23 MB - Last synced at: 7 months ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0
NotBad4U/mcltl-rs
[beta] An experimental model checker for LTL written in Rust
Language: Rust - Size: 614 KB - Last synced at: 6 days ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 2
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language: Haskell - Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
kaizsv/pikoRT-Spin
A Promela model of Piko/RT under the Spin model checker.
Language: Makefile - Size: 130 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
benkeks/equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
Language: Scala - Size: 11.5 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4 - Forks: 1
jens-classen/vergo
Vergo: A Verification System for GOLOG Programs
Language: Prolog - Size: 805 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 4 - Forks: 1
Benestar/rust-model-checker
A Model Checker in Rust
Language: Rust - Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0
inbo/inlatools
An R package with useful functions to diagnose INLA models
Language: R - Size: 7.65 MB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 4 - Forks: 2
jkeiren/TimeSolver
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
Language: C++ - Size: 63.4 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 2
Calvin-L/ezpsl
The easy parallel algorithm specification language
Language: Haskell - Size: 340 KB - Last synced at: 5 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 1
hub-se/PSP-UPPAAL
Property Specification Patterns for UPPAAL
Language: Java - Size: 286 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
hlsyounes/ymer
Probabilistic model checker
Language: C - Size: 9.54 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 2
cui-unige/mcc4mcc
Model Checker Collection for the Model Checking Contest @ Petri nets
Language: Python - Size: 6.15 MB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0
GaloisInc/mmc-paper
Modular Model Checking Paper
Language: TeX - Size: 2.24 MB - Last synced at: 12 months ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1
fpoli/ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
Language: Scala - Size: 539 KB - Last synced at: about 1 month ago - Pushed at: almost 10 years ago - Stars: 4 - Forks: 1
s12f/tlads
TLA+ and Distributed/Discrete Systems.
Language: TLA - Size: 82 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0
ldltools/ldlsat
SAT solver for Linear Dynamic Logic
Language: OCaml - Size: 295 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1
jbretsch/modelcheck
A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.
Language: Java - Size: 172 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
k5-mot/The-Dining-Philosophers-Problem
📌 The Dining Philosophers Problem / 食事する哲学者の問題
Language: TeX - Size: 13.9 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
rtsaad/mercury
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
Language: C - Size: 600 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
felixlinker/ifc-rv-thesis
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Language: TeX - Size: 2.11 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
vaibhavbhagee/Distributed-Computing
Distributed computing course projects
Language: TeX - Size: 3.85 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
yylonly/LTSA
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Language: Visual Basic - Size: 5.42 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 4
SixiangHu/DataMan
R package for data cleaning, preliminary data analysis and modeling assessing with visualisation.
Language: R - Size: 823 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
bigraph-toolkit-suite/bigraphs.bigraph-framework
A framework written in Java for the creation and simulation of bigraphs.
Language: Java - Size: 55.3 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 0
r1ru/model-checker-from-scratch
Let's build a symbolic model checker from scratch in Rust !
Language: Rust - Size: 53.7 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0
Pathemeous/Symbolic-Gossip
Symbolic Model Checker for the Gossip Problem
Language: Haskell - Size: 6.2 MB - Last synced at: 18 days ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
m4lvin/GoMoChe
🗣️📞 Gossip Model Checking
Language: Haskell - Size: 85.9 KB - Last synced at: 20 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
DerYeger/MiniCheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Language: Haskell - Size: 531 KB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
francoisschwarzentruber/tools-for-teaching-logic
A list of tools for teaching logic
Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
songlarknet/lark
The Songlark Toolchain for high-assurance software
Language: Scala - Size: 591 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
yepengding/Kiwami
A generic bounded model checker.
Language: Java - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
odipar/smanikin
Scala version of Manikin
Language: Scala - Size: 399 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
Isaac-DeFrain/liveness-checking
Liveness checking state machines without storing execution traces
Language: OCaml - Size: 10.7 KB - Last synced at: 24 days ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
MuvvalaKaran/LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
Language: C - Size: 5.58 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
hhoikoo00/hs-knowledge
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
Language: Haskell - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
tatsuhirotsuchiya/consensus-verification
This repository store resources related to our project on model checking of consensus algorithms.
Size: 14.5 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
trucnguyenlam/vac
VERIFIER of ACCESS CONTROL
Language: C - Size: 177 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1
phreppo/protocol-validation
Language: TeX - Size: 222 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
ahamez/caesar.sdd
An implementation of caesar.bdd using SDD
Language: C++ - Size: 963 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 2
san089/Uppaal_Model_Checking
Model Checking For Automated Machine Learning Models
Language: q - Size: 1010 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1
ptgm/bioNuSMV Fork of hklarner/NuSMV-a
bioNuSMV is a fork and extension of https://github.com/hklarner/NuSMV-a, which adds a handful of features to ease the use of model checking by biological modelers, in particular, in the context of the verification of qualitative regulatory networks
Language: C - Size: 12 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1
ultimate-pa/ultimate-benchmarks
Language: C - Size: 61.6 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
itu-square/p3-tool
A reconfigurator tool for fPromela with support for variability abstractions.
Language: Haskell - Size: 563 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 2
banhday/tlatools_tthai
This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
Language: Java - Size: 25.9 MB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 2 - Forks: 0
mrigankpawagi/LeanearTemporalLogic
Formalization of Linear Temporal Logic (LTL) in Lean 4.
Language: Lean - Size: 79.1 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 0
fadoss/maudesmc
Model checker for Maude systems controlled by strategies
Language: C++ - Size: 6.19 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
FedericoPonzi/tlaplus-wiki 📦
Moved to dokuwiki: https://docs.tlapl.us
Language: CSS - Size: 852 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
seer-lab/TIE
A Thread Interleaving Explorer for Java Pathfinder (JPF).
Language: Java - Size: 206 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
SavinRazvan/knights
A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.
Language: Python - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
Cyofanni/PMModelChecker
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
Language: C++ - Size: 1.92 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
aai-institute/tfl-training-probabilistic-model-checking
TfL course on probabilistic model checking using storm
Language: Jupyter Notebook - Size: 59.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
UPPAALModelChecker/uppaal-libs
Dynamic libraries for Uppaal models
Language: C++ - Size: 101 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 3
at0m-b0mb/Mlflow-TensorFlow-Image-Classification-Guide
The MLflow TensorFlow Guide is an educational project. This project demonstrates how to build, train, and manage a TensorFlow machine learning model using MLflow, a powerful open-source platform for the end-to-end machine learning lifecycle.
Language: Jupyter Notebook - Size: 2.75 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
DamianTellez/Fraud_Detection
I used a public database in order to create a logistic regression model for detecting suspicious credit card activities.
Language: Jupyter Notebook - Size: 28.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
andreafra/piacere-model-checker Fork of michiari/piacere-mc-openapi
PIACERE DOML Model Checker
Language: Python - Size: 3.53 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
phagenlocher/braincheck
A static and dynamic analyzer for Brainfuck
Language: C++ - Size: 46.9 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
cxlvinchau/vnmc
A (probabilistic) model checking toolkit fully implemented in Python
Language: Python - Size: 62.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
MuradAkh/Qicc
Expediting verification of assertions in loops by isolation
Language: OCaml - Size: 1.08 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
bfgdigital/AusForecast.app
We often get a 7 day weather forecast but don't often go back to see how accurate the predictions were for 7 days ago. This project looks to explore how accurate the weather forecast is according to a what is known as the Persistence Model. The Persistence Model hypothesis for the weather domain is that "The weather tomorrow will be the same as today", or in mathematical terms Weather(t+1) = Weather(t), (t being today, or time).
Language: Python - Size: 17.5 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
peterbat1/BRECI
Binned Relative Environmental Change Indicator (BRECI) for displaying differences between ENM output maps
Language: R - Size: 1.01 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
dh73/uninterpreted_functions
Uninterpreted functions examples
Language: SystemVerilog - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
Jakob-Bach/Analyzing-Auction-Verification
Code for the paper "Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions".
Language: Python - Size: 34.2 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
KilianBerlo/Battery-Aware-Experiment-Scheduling
In this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-aware experiment schedules for the GOMX-3 nanosatellite.
Language: HTML - Size: 2.09 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
thedhruvrawat/ferryman
Solving the classic Ferryman problem via model-checking using NuSMV Modeller
Size: 2.02 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
cxlvinchau/lasso
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
Language: Python - Size: 46.9 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
barnslig/bachelor-thesis
My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.
Language: Jupyter Notebook - Size: 7.79 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
liyong31/SemiBuchi
Complementation of Semi-deterministic Büchi (nested word) automata
Language: Java - Size: 37.4 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
Gabao-Farias/Furniture_parts_checker
Validates the integrity of a furniture by checking it's parts
Language: Java - Size: 29.2 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
spidermoy/LTL_Coq
Linear Temporal Logic formalized in Coq
Language: Coq - Size: 28.3 KB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 2
fkj/c-ctl-check
A prototype model checker for CTL over constraint semirings
Language: F# - Size: 50.8 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
FatemeMarzani/MCRL2-diningphilosopher
mcrl2 dining philosopher none deterministic
Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
semperos/river-crossing-spec
TLA Specification for the "Wolf, goat, and cabbage" puzzle (https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem)
Language: TLA - Size: 290 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Twelvelines/MCCAL
Model Checker with Coalition Announcement Logic
Language: Java - Size: 181 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
carlosgeos/pit-stop-model
Formula 1 pit stop modelled with Uppaal/Tiga
Language: q - Size: 576 KB - Last synced at: 4 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
ikhwan12/formal-verification-atm-spin
Formal verification of automated teller machine systems using SPIN
Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
ssfm-up/TVMC
A SAT-based bounded model-checker for three-valued abstractions of concurrent software systems
Language: Java - Size: 12.5 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1
tangruize/jupiter-experiments
Language: TLA - Size: 4.23 MB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
Ohara124c41/ASML-Wafer_Stepper
This project was for a course at TU/e called System Validation. The goal was to create an architecture with parallel components and use formal model checking to evaluate the model. The use case is a simplified EUV wafer stepper from ASML.
Size: 26.7 MB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
vertexclique/cekic
Experimental system model generator for RTS
Language: Java - Size: 2.84 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
zpcore/ACOW
Applied Formal Methods.
Language: Python - Size: 118 KB - Last synced at: 24 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
umangm/mopedqleak
MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
Language: C - Size: 1.31 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
tpadoan/TCWB
True Concurrency Workbench: a tool for model-checking true concurrency properties on Petri nets.
Language: Haskell - Size: 19.4 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
pedrogongora/MTBDD-Prototype
Prototype C++ implementations of multi-terminal BDD node-table and symbolic Bellman-Ford for graph games
Language: C++ - Size: 473 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
m4lvin/dining-benchmark
🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
Language: C++ - Size: 8.94 MB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
rvprasad/verification-validation-course 📦
Verification and Validation course offered at Kansas State University in Fall'15, '16, and '17
Size: 37 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
jamesdhope/regression-models
A series of documented Jupyter notebooks implementing polynomial regression models and model performance analysis
Language: Jupyter Notebook - Size: 339 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 2
igor-buzhinsky/modchk-to-spin
Converter of function block models from NuSMV to Promela (SPIN)
Language: Java - Size: 645 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
marcio-diaz/pl-dpn-tool
Language: Python - Size: 4.5 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1
montao/formal-verification
🌍 The SMV models
Language: Matlab - Size: 22.5 KB - Last synced at: 20 days ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
himito/tccMChecker
Python implementation for the tcc model checking
Language: Python - Size: 2.05 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
hydroo/gomochex
discontinued - playground for some model checking experimentation
Language: Go - Size: 733 KB - Last synced at: 10 months ago - Pushed at: about 12 years ago - Stars: 1 - Forks: 0
sybila/biodivine-hctl-model-checker
Symbolic HCTL model checker for Boolean networks
Language: Rust - Size: 860 KB - Last synced at: 4 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 0
