Topic: model-checking Goto Github
Some thing interesting about model-checking
Some thing interesting about model-checking
model-checking,Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
User: ai4reason
Home Page: http://www.cs.unm.edu/~mccune/prover9/
model-checking,Automatic verification of LLVM optimizations
Organization: alivetoolkit
model-checking,Reads a state transition system and performs property checking
User: aman-goel
model-checking,APALACHE: symbolic model checker for TLA+ and Quint
Organization: apalache-mc
Home Page: https://apalache-mc.org/
model-checking,CoreIR Symbolic Analyzer
User: cristian-mattarei
model-checking,ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.
Organization: draeger-lab
model-checking,Verification framework and tool for higher-order Scala programs
Organization: epfl-lara
Home Page: https://epfl-lara.github.io/stainless/
model-checking,Generate (message) sequence diagrams from TLA+ state traces
User: eras
model-checking,DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)
User: firmai
Home Page: https://ssrn.com/abstract=3619626
model-checking,Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Organization: ftsrg
Home Page: http://theta.inf.mit.bme.hu/
model-checking,DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Organization: ge-high-assurance
Home Page: https://ge-high-assurance.github.io/VERDICT
model-checking,
Organization: github
model-checking,symbolic reachability checker
Organization: go-air
model-checking,Find deadlocks in Rust code with Petri net model checking
User: hlisdero
model-checking,IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
Organization: imitator-model-checker
Home Page: https://www.imitator.fr/
model-checking,Model-based testing tool
Organization: informalsystems
Home Page: https://mbt.informal.systems
model-checking,Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Organization: informalsystems
model-checking,Synchronous fault-tolerant distributed algorithms encoded in TLA+
User: istoilkovska
model-checking,Static checker for Java
Organization: jayhorn
Home Page: http://jayhorn.github.io/jayhorn/
model-checking,Memory consistency modelling using Alloy
User: johnwickerson
Home Page: http://johnwickerson.github.io/memalloy
model-checking,Links to tools by subject
User: johnyf
model-checking,A symbolic model checker for Dynamic Epistemic Logic.
Organization: jrclogic
Home Page: https://w4eg.de/malvin/illc/smcdelweb
model-checking,Jupyter kernel for TLA⁺
User: kelvich
model-checking,Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
User: lemmy
Home Page: https://youtu.be/wjsI0lTSjIo
model-checking,Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
User: lemmy
model-checking,My own notes (drafts mostly) about software quality
User: ligurio
Home Page: https://github.com/ligurio/sqa-wiki/wiki
model-checking,Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
User: ltlfuzzer
model-checking,The Git repository for the mCRL2 toolset.
Organization: mcrl2org
Home Page: https://mcrl2.org/
model-checking,The CBMC starter kit makes it easy to add CBMC verification to a software project.
Organization: model-checking
Home Page: https://model-checking.github.io/cbmc-starter-kit/
model-checking,Kani Rust Verifier
Organization: model-checking
Home Page: https://model-checking.github.io/kani
model-checking,A Modern Probabilistic Model Checker
Organization: moves-rwth
Home Page: https://www.stormchecker.org
model-checking,Different TLA+ specifications, mostly for learning purposes
User: mryndzionek
model-checking,SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
User: nicolasamat
model-checking,The P programming language.
Organization: p-org
Home Page: https://p-org.github.io/P/
model-checking,Concuerror is a stateless model checking tool for Erlang programs.
Organization: parapluu
Home Page: http://parapluu.github.io/Concuerror
model-checking,Command line binaries for the TLA+ language
User: pmer
model-checking,Experimental Smart Contracts In Plutus.
User: robkorn
model-checking,SeaHorn Verification Framework
Organization: seahorn
Home Page: http://seahorn.github.io/
model-checking,writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
User: spacejam
model-checking,Local Interpretable Model-Agnostic Explanations (R port of original Python package)
User: thomasp85
Home Page: https://lime.data-imaginist.com/
model-checking,Distributed termination detection on a ring, due to Shmuel Safra:
Organization: tlaplus-workshops
Home Page: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
model-checking,TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Organization: tlaplus
Home Page: https://lamport.azurewebsites.net/tla/tla.html
model-checking,TLA+ language support for Visual Studio Code
Organization: tlaplus
model-checking,The Ultimate program analysis framework.
Organization: ultimate-pa
Home Page: https://ultimate-pa.org/
model-checking,The LTSmin model checking toolset
Organization: utwente-fmt
Home Page: http://ltsmin.utwente.nl
model-checking,Interactive, web-based environment for exploring TLA+ specifications.
User: will62794
model-checking,A simple REPL for TLA+.
User: will62794
model-checking,A toy deadlock detector written in Go. 🔍
User: y-taka-23
Home Page: https://godoc.org/github.com/y-taka-23/ddsv-go/deadlock
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.