pono
Model checker
A flexible and extensible SMT-based model checker that verifies the correctness of systems
Pono: A flexible and extensible SMT-based model checker
81 stars
7 watching
30 forks
Language: C++
last commit: about 1 month ago
Linked from 1 awesome list
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 apalache-mc/apalache | An SMT-based symbolic model checker for TLA+ and Quint | 441 |
 mit-pdos/perennial | A system for verifying correctness of concurrent and crash-safe systems with recovery procedures | 163 |
 dmxlarchey/karp-miller | An algorithm to decide coverability in Petri nets using the Karp-Miller tree construction | 1 |
 cwingrav/cimodeltester | An interactive web interface for testing and debugging CodeIgniter models | 11 |
 p-ranav/criterion | A microbenchmarking library for measuring performance of C++ code | 211 |
 compwa/tensorwaves | A Python package for optimizing mathematical models to data samples using multiple computational back-ends. | 10 |
 magento/magento-semver | Automates the identification of backward-incompatible changes in Magento code | 33 |
 sergioburdisso/pyss3 | A Python package implementing an interpretable machine learning model for text classification with visualization tools | 336 |
 cisocrgroup/pocoto | A Java-based tool for correcting errors in OCR'd historical documents | 40 |
 certuscyber/bapp-certus | Tools to identify vulnerabilities in application variable types by manipulating JSON data | 0 |
 nouamanetazi/bloomz.cpp | An implementation of BLOOM-like models in pure C/C++ | 811 |
 nvidia/sentiment-discovery | Large-scale unsupervised language modeling for robust sentiment classification and related NLP tasks | 1,062 |
 pkunlp-icler/pca-eval | An open-source benchmark and evaluation tool for assessing multimodal large language models' performance in embodied decision-making tasks | 100 |
 boostsecurityio/poutine | Detects misconfigurations and vulnerabilities in software supply chains during build pipelines. | 229 |
 mli0603/blenderneuralangelo | A Blender addon to inspect and preprocess COLMAP data for Neuralangelo-based applications | 308 |