Topic: separation-logic Goto Github
Some thing interesting about separation-logic
Some thing interesting about separation-logic
separation-logic,One Of The Methodologies To Write Clean, Maintainable & Extensible Software
User: ahmedtarekhasan
separation-logic,A verification tool developed in Coq for analyzing cloud block storage
User: binkszhang
separation-logic,Strong non-interference for fine-grained concurrent programs
User: co-dan
separation-logic,Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Organization: distributedcomponents
separation-logic,Partial Commutative Monoids
Organization: imdea-software
separation-logic,Hoare Type Theory
Organization: imdea-software
separation-logic,Formalisation of Separation Logic and Mutability
User: ivanbakel
separation-logic,Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
User: iwilare
separation-logic,Sample Angular-enabled ASP.NET Core application with separated backend and frontend structure
User: jolmari
separation-logic,Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
Organization: katamaran-project
Home Page: https://katamaran-project.github.io/
separation-logic,Program logic for developing and verifying distributed systems
Organization: logsem
separation-logic,AxSL, a concurrent separation logic for Arm's relaxed concurrency
Organization: logsem
separation-logic,Probabilistic separation logics for verifying higher-order probabilistic programs.
Organization: logsem
separation-logic,Verifying FF-A hypercalls using VMSL.
Organization: logsem
separation-logic,Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder
User: niols
Home Page: https://summerofcode.withgoogle.com/projects/#5306561080590336
separation-logic,Write readable Hoare style proof outlines for imperative programs in Agda.
User: olavhaasie
separation-logic,A verification tool developed in Coq for analyzing cloud block storage
Organization: pkutcs-cbs
separation-logic,An implementation of the logic for verifying the correctness of cloud storage system in Coq
Organization: pkutcs
separation-logic,Competition of Solvers for Separation Logic
Organization: sl-comp
separation-logic,Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
User: soundverification
separation-logic,A Symbolic Executor based on Separaton Logic
User: spencerl-y
separation-logic,Test input generation using separation logic
Organization: star-finder
Home Page: https://star-finder.github.io/
separation-logic,Test input generation using separation logic
Organization: star-finder
Home Page: https://star-finder.github.io/
separation-logic,Things that are needed for formally verifying a system
User: supermartian
separation-logic,Separation logic library for Coq
User: tchajed
separation-logic,Demos for lecture on Separation Logic by O'Hearn from CACM 2019.
User: tchajed
Home Page: https://tchajed.github.io/seplogic-demo/delete_tree.html
separation-logic,Decision procedure for strong-separation logic
User: tdacik
separation-logic,Synthesis with Read-Only Borrows
Organization: tygus
separation-logic,Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.
Organization: tygus
separation-logic,Coq tactics for certification of the results of SSL-based program synthesis via Iris logic.
Organization: tygus
separation-logic,Coq tactics for certification of the results of SSL-based program synthesis via the Verified Software Toolchain.
Organization: tygus
separation-logic,Synthesis of Heap-Manipulating Programs from Separation Logic
Organization: tygus
separation-logic,The VerCors verification toolset for verifying parallel and concurrent software
Organization: utwente-fmt
Home Page: https://utwente.nl/vercors
separation-logic,Mechanised Reasoning about Array-Based Trees in Separation Logic
Organization: verse-lab
separation-logic,Mostly Automated Proof Repair for Verified Libraries
Organization: verse-lab
Home Page: https://verse-lab.github.io/sisyphus/
separation-logic,Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
Organization: viperproject
separation-logic,Voila is proof outline checker for fine-grained concurrency verification
Organization: viperproject
separation-logic,An implementation of separation logic in Coq
User: wllqwzx
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.