|
C++ |
61 |
A model checker for infinite-state systems. |
Apr 14, 2023 |
|
Python |
2 |
A fixed afk checker basic tool for stamina packers |
Oct 20, 2022 |
|
C++ |
44 |
Approximate Model Counter |
Aug 21, 2022 |
|
Python |
4 |
Stochastic model for lava flows |
Aug 09, 2022 |
|
R |
8 |
Fast and efficient parameter and state estimation in stochastic state space systems with Template Model … |
Feb 09, 2024 |
|
R |
3 |
stochastic analysis for Random Circuit Perturbation |
Mar 21, 2022 |
|
C++ |
2 |
Approximate Model Counter for Pseudo Boolean Constraints |
Apr 16, 2022 |
|
JavaScript |
2 |
4BLD analysis checker |
Jul 01, 2022 |
|
C |
17 |
Byzantine model checker |
Mar 07, 2023 |
|
Python |
5 |
Model Insertion Checker |
Jul 26, 2022 |
|
Ada |
7 |
Erigone Model Checker |
Apr 13, 2023 |
|
Python |
4 |
Superstatistical analysis of stochastic timeseries |
Oct 03, 2023 |
|
Java |
3 |
Model Checker for Java Programs |
Oct 20, 2021 |
|
R |
12 |
Hierarchical stochastic block model (HSBM) |
Jun 22, 2022 |
|
None |
2 |
Stochastic model, estiamtion and control |
Feb 23, 2023 |
|
R |
2 |
Stochastic hydrogeologic mixing cell model |
Jan 06, 2023 |
|
R |
6 |
Stochastic pair approximation model for Monkeypox virus |
Jul 19, 2022 |
|
R |
4 |
A stochastic Block Model for MultiLeVel networks |
Aug 05, 2022 |
|
C++ |
5 |
Stochastic optimization model for hidrothermal scheduling problems. |
Jul 04, 2023 |
|
Jupyter Notebook |
3 |
Model fitting using Approximate Bayesian Computation |
Apr 01, 2022 |
|
None |
2 |
for stamina packers ig |
Sep 17, 2021 |
|
Java |
16 |
The main development version of the PRISM-games model checker, an extension of PRISM which supports … |
Apr 24, 2023 |
|
SWIG |
451 |
C Bounded Model Checker |
Aug 27, 2022 |
|
Java |
2 |
Java Bounded Model Checker |
Mar 17, 2023 |
|
Scala |
58 |
The Eldarica model checker |
Apr 27, 2023 |
|
OCaml |
13 |
The Cubicle model checker |
Apr 25, 2023 |
|
C++ |
6 |
yet another model checker |
May 13, 2023 |
|
OCaml |
13 |
A model-checker for caml programs. |
Apr 26, 2021 |
|
Scala |
308 |
APALACHE: symbolic model checker for TLA+ |
Aug 22, 2022 |
|
Erlang |
66 |
The McErlang model checker for Erlang |
Jun 30, 2021 |
|
TeX |
2 |
Overlapping generations model with stochastic income |
Apr 06, 2020 |
|
C++ |
4 |
Stochastic Model-checking Analyzer for Reliability and Timing |
Mar 28, 2023 |
|
None |
18 |
[CVPR2023] Leapfrog Diffusion Model for Stochastic Trajectory Prediction |
May 11, 2023 |
|
Java |
7 |
ML model-based approximate query processing engine |
Jul 17, 2022 |
|
Python |
40 |
Approximate knockoffs and model-free variable selection. |
Apr 27, 2023 |
|
Python |
2 |
Checker with simple ONNX model structure. Simple Structure Checker for ONNX. |
Feb 14, 2023 |
|
Shell |
54 |
Static code analysis checker for golang 🐙 |
Mar 28, 2023 |
|
Julia |
12 |
Approximate the product between infinite functional objects on a manifold -- i.e. belief products |
Jul 28, 2022 |
|
OCaml |
33 |
MoCHi: Model Checker for Higher-Order Programs |
Jul 28, 2022 |
|
Scala |
14 |
TriCera: a model checker for C programs |
Apr 17, 2023 |
|
Java |
11 |
GUI for running the SPIN model checker |
Apr 13, 2023 |
|
Shell |
3 |
Performance measurements for the TLC model checker |
Sep 18, 2017 |
|
Isabelle |
15 |
Fully verified model checker for realtime systems |
Dec 12, 2022 |
|
Rust |
1373 |
A model checker for implementing distributed systems. |
May 22, 2023 |
|
OCaml |
8 |
saturation-based HORS model checker |
Dec 21, 2021 |
|
C++ |
95 |
A Modern Probabilistic Model Checker |
May 02, 2023 |
|
R |
19 |
Implementations of the Heston stochastic volatility model |
Apr 24, 2022 |
|
Jupyter Notebook |
5 |
Stochastic Volatility Modelling using Hidden Markov Model |
Oct 01, 2022 |
|
C |
9 |
Sooth is a simple stochastic predictive model. |
Feb 23, 2023 |
|
Python |
2 |
Diddy: toolbox for analysis of infinite discrete dynamical systems |
Aug 29, 2023 |