Topic: software-verification Goto Github
Some thing interesting about software-verification
Some thing interesting about software-verification
software-verification,full-program induction technique extended to probabilistic programs
User: armanozcan18
software-verification,A Model Checker in Rust
User: benestar
software-verification,A consistency checker for probabilistic software quality models
Organization: consistants
software-verification,An interpreter for Denotational Semantics of While language
User: d33pblue
software-verification,εη«θΊεη§ζ倧εΈθ³θ¨ε·₯η¨ζγθ»ι«ζΈ¬θ©¦θι©θγθͺ²η¨ζͺζ‘γδ½ζ₯θε°η΅ε°ζ‘
User: daaata
software-verification,Personal Webpage
User: divyeshunadkat
Home Page: https://divyeshunadkat.github.io/
software-verification,DPLL(T)-based Verification tool for DNNs
Organization: dynaroars
software-verification,
User: edivad99
software-verification,Static analysis framework for C
Organization: goblint
Home Page: https://goblint.in.tum.de
software-verification,Static & Dynamic Verification of C programs
User: gpetiot
software-verification,Map2Check: Finding Software Vulnerabilities
User: hbgit
Home Page: https://map2check.github.io
software-verification,Software Verification course project - Fixing bugs using a working example as a specification
User: ivan-ristovic
software-verification,Language invariant AST abstraction with APIs to create, visualize or compare ASTs
User: ivan-ristovic
software-verification,LSVerifier - Large Systems Verifier
User: janislley
software-verification,Read-only mirror of the Klever Git repository
Organization: ldv-klever
Home Page: https://forge.ispras.ru/projects/klever
software-verification,SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)
Organization: ledgerproject
Home Page: https://ledgerproject.github.io/home/#/teams/SafePKT
software-verification,Abstractly represent software error traces as finite automata.
User: martinchapman
Home Page: https://martinchapman.github.io/learning-errors/
software-verification,Formalisation of the linear lambda calculus in Coq
User: michaelsproul
software-verification,4th Year Honours Thesis on Programming Language Semantics
User: michaelsproul
software-verification,Lean4-Framework to reason about multithreaded algorithms
User: mirkootter
software-verification,Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Organization: nasa-sw-vnv
software-verification,Write readable Hoare style proof outlines for imperative programs in Agda.
User: olavhaasie
software-verification,(my verification project for cs5110 / cs6110) A vscode extension that adds live visualizations of alloy type structures to vscode. (also includes some basic some basic langauge support)
User: osterhoutan-uofu
software-verification,π A poly-language execution-based violation-witness validator
Organization: polywit
software-verification,This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.
User: posteruole
Home Page: https://github.com/MATF-Software-Verification/2023_Analysis_CompoundUnits
software-verification,Prototype functional programming language with refinement types, powered by Inox
User: romac
software-verification,Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
User: satyendrabanjare
Home Page: https://satyendrabanjare.com/plt-formal-methods-resources
software-verification,Static Analyzer for LLVM bitcode based on Abstract Interpretation
Organization: seahorn
software-verification,CakeML build tool
Organization: sel4proj
software-verification,This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
User: smtifahim
software-verification,Rust software verification benchmarks
Organization: soarlab
software-verification,CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Organization: sosy-lab
Home Page: https://cpachecker.sosy-lab.org
software-verification,Collection of Verification Tasks (MOVED, please follow the link)
Organization: sosy-lab
Home Page: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
software-verification,Information to reproduce results from SV-COMP (MOVED, please follow the link)
Organization: sosy-lab
Home Page: https://gitlab.com/sosy-lab/sv-comp/bench-defs
software-verification,An Exchange Format for Verification Witnesses (MOVED, please follow the link)
Organization: sosy-lab
Home Page: https://gitlab.com/sosy-lab/benchmarking/sv-witnesses
software-verification,Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Organization: staticafi
Home Page: http://staticafi.github.io/symbiotic/
software-verification,Formal Verification on NDN trust schema
User: stumble
software-verification,About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle
User: supleed2
software-verification,Teaching and Learning Software Verification via SVF
User: svf-tools
software-verification,Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.
User: tomas-dias
software-verification,Voila is proof outline checker for fine-grained concurrency verification
Organization: viperproject
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.