pono
Pono: A flexible and extensible SMT-based model checker
AI summary
Model checker
A flexible and extensible SMT-based model checker that verifies the correctness of systems
- stars
- 82
- forks
- 30
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Model Checker
An SMT-based symbolic model checker for TLA+ and Quint
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
Petri net coverability checker
An algorithm to decide coverability in Petri nets using the Karp-Miller tree construction
Model tester
An interactive web interface for testing and debugging CodeIgniter models
C++ microbenchmarker
A microbenchmarking library for measuring performance of C++ code
Model fitter
A Python package for optimizing mathematical models to data samples using multiple computational back-ends.
Code changer
Automates the identification of backward-incompatible changes in Magento code
Text classifier
A Python package implementing an interpretable machine learning model for text classification with visualization tools
Text correction tool
A Java-based tool for correcting errors in OCR'd historical documents
Type checker
Tools to identify vulnerabilities in application variable types by manipulating JSON data
C++ model
An implementation of BLOOM-like models in pure C/C++
Language modeler
Large-scale unsupervised language modeling for robust sentiment classification and related NLP tasks
Multimodal model evaluator
An open-source benchmark and evaluation tool for assessing multimodal large language models' performance in embodied decision-making tasks
Security scanner
Detects misconfigurations and vulnerabilities in software supply chains during build pipelines.
COLMAP inspector
A Blender addon to inspect and preprocess COLMAP data for Neuralangelo-based applications
Featured in 1 awesome list
Each link jumps to the spot where the list mentions pono.
