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,CoreIR Symbolic Analyzer
User: cristian-mattarei
model-checking,ModelPolisher accesses the BiGG Models knowledgebase to annotate SBML models.
Organization: draeger-lab
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,APALACHE: symbolic model checker for TLA+ and Quint
Organization: informalsystems
Home Page: https://apalache.informal.systems
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,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,Read-only mirror of the Klever Git repository
Organization: ldv-klever
Home Page: https://forge.ispras.ru/projects/klever
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,A multi-formalism, multi-solution model-checker centered on the language GAL
Organization: lip6
model-checking,The Git repository for the mCRL2 toolset.
Organization: mcrl2org
Home Page: https://mcrl2.org/
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,Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
User: nclarius
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,TChecker is an open-source verification tool for timed automata
Organization: ticktac-project
Home Page: https://github.com/ticktac-project/tchecker/wiki
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.informatik.uni-freiburg.de
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,LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
User: xlauko
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.