Topic: program-verification Goto Github
Some thing interesting about program-verification
Some thing interesting about program-verification
program-verification,[sp20] Algorithms and Analysis. Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of algorithms.
User: adamalston
program-verification,A verification toolchain for Rust programs
Organization: aeneasverif
program-verification,Interface with the rustc compiler for the purpose of program verification
Organization: aeneasverif
program-verification,GCL verification tool based on predicate transformers
User: aionescu
program-verification,Binary Analysis Platform
Organization: binaryanalysisplatform
program-verification,BAP python bindings
Organization: binaryanalysisplatform
program-verification,Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
User: chronosymbolic
Home Page: https://zyluo.netlify.app/publication/chronos-2023/
program-verification,Strong non-interference for fine-grained concurrent programs
User: co-dan
program-verification,Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
Organization: coq-community
program-verification,DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
Organization: dynaroars
Home Page: https://github.com/dynaroars/dig
program-verification,A verification program that proves Dijkstra's algorithm correctness written in Idris.
User: eileenfeng
program-verification,An OpenAI gym environment for automated rule-based deductive program verification in KeY.
User: flunzmas
program-verification,ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
Organization: hopv
program-verification,DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Organization: iith-compilers
Home Page: https://github.com/utpalbora/drb_fortran
program-verification,02141 Computer Science Modelling Spring 23 DTU
User: jacopo00811
program-verification,My solution for project 1 for the "Program Verification" course at ETH Zurich (ETHZ) (https://www.pm.inf.ethz.ch/education/courses/program-verification.html)
User: jaksicf
program-verification,This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
User: kappelmann
program-verification,📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
Organization: lisa-analyzer
Home Page: https://lisa-analyzer.github.io/
program-verification,Towards AI-Assisted Synthesis of Verified Dafny Methods
Organization: mondego
Home Page: https://dafny-synthesis.web.app/
program-verification,Code2Inv: Learning Loop Invariants for Program Verification
Organization: pl-ml
program-verification,TACAS'23: Verification-guided Programmatic Controller Synthesis
Organization: ru-automated-reasoning-group
program-verification,Generates loop invariants for program verification
User: saswatpadhi
program-verification,Report on advancements in Type Theory and application of Program Verification
User: satyendrabanjare
program-verification,Artifact Evaluation, PLDI'19
User: sdasgup3
program-verification,C/C++ refactoring tool for library abstractions
Organization: seahorn
program-verification,Information about verification tools. Browse the data at https://slebok.github.io/proverb/
User: sophietje
program-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/
program-verification,DafnyBench: A Benchmark for Formal Software Verification
User: sun-wendy
program-verification,2022 年春季学期清华大学《软件分析与验证》课程实验平台
Organization: thufv
program-verification,SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
User: tribbloid
program-verification,DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
User: utpalbora
program-verification,LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
User: utpalbora
program-verification,Clone of OmpSCR v2.0 with modifications
User: utpalbora
program-verification,Rust frontend for LiSA
User: vincenzoarceri
program-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.