Topic: hoare-logic Goto Github
Some thing interesting about hoare-logic
Some thing interesting about hoare-logic
hoare-logic,Python3 auto-active verification library (migrated to an Intel project)
User: ad1024
hoare-logic,Mini-language for program verification using Hoare logic
User: benmandrew
Home Page: https://www.benmandrew.com/articles/cavalry
hoare-logic,Paper: Tutorial implementation of Hoare logic in Haskell
User: bor0
Home Page: https://arxiv.org/abs/2101.11320
hoare-logic,MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them
Organization: catseye
Home Page: https://catseye.tc/node/Samovar
hoare-logic,Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Organization: cister-labs
Home Page: https://cister-labs.github.io/fvoca2223/
hoare-logic,Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
User: codersguild
hoare-logic,A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
Organization: coq-community
hoare-logic,Ejemplos básicos de programación concurrente y paralelismo.
User: dvcarrillo
hoare-logic,Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
User: ferhaterata
hoare-logic,Contract-based approach to declaratively specify distributed dataflows
Organization: flame-stream
hoare-logic,Calco Python API implementation. Contract-based approach to declaratively specify distributed dataflows
Organization: flame-stream
hoare-logic,Lecture notes for a short course on proving/programming in Coq via SSReflect.
User: ilyasergey
Home Page: https://ilyasergey.net/pnp
hoare-logic,Hoare Type Theory
Organization: imdea-software
hoare-logic,Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
User: iwilare
hoare-logic,LaTeX and matlab files for this course
User: kammitama5
hoare-logic,A toolkit for the creation of correct-by-construction arithmetic languages.
User: lambdacasserole
hoare-logic,A Vagrant box with the Hoare Advanced Homework Assistant (HAHA) all set up and ready to go.
User: lambdacasserole
hoare-logic,Unofficial, handwritten parser aimed at transpilation of the HAHA language.
User: lambdacasserole
hoare-logic,Extensible HAHA transpiler.
User: lambdacasserole
hoare-logic,A verifier for a simple imperative language powered by Z3
User: maciejpirog
hoare-logic,Write readable Hoare style proof outlines for imperative programs in Agda.
User: olavhaasie
hoare-logic,A Study in Implementing Functional Programming Languages
User: pqnelson
hoare-logic,A web-based graphical proof assistant for LK and Hoare logic.
Organization: proof-tree-builder
Home Page: https://proof-tree-builder.github.io
hoare-logic,An interpreter for an imperative language and a Hoare logic prover
User: sauzeauyannis
hoare-logic,Hoare logic for classroom demonstration
User: shraiysh
hoare-logic,Things that are needed for formally verifying a system
User: supermartian
hoare-logic,Synthesis with Read-Only Borrows
Organization: tygus
hoare-logic,Synthesis of Heap-Manipulating Programs from Separation Logic
Organization: tygus
hoare-logic,Pyrefine – python code checker based on Hoare logic
User: vdimir
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.