jcp19 Goto Github PK

go

The Go programming language

gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

gobra-action

Github Action to verify Go code with Gobra directly in a CI workflow

gobra-action-tests

Tests for the gobra-action

gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

goolong

Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"

irconverter

An IRConverter from WALA IR to Soot IR (Jimple)

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

jcp19

magpiebridge

MagpieBridge LSP Framework --- A simple solution for your IDE integration

micro-benchmarks

Fork of minha-benchmarks, a suit of tests for the MINHA framework

oldverifiedscion

A verified version of SCION's go source code

owncloud_ansible

ownCloud network deployment

program-proofs-gobra

Examples and exercises from the book Program Proofs translated to Gobra

rerast

A tool for transforming Rust code using rules

robot_festival_2014

Code made in high school for my Robotic's team, to participate in National Festival of Robotics 2014

scion

SCION Internet Architecture

silver

Definition of the Viper intermediate verification language.

spider

Automated data race detection from a distributed trace via SMT constraint solving

umatrix

uMatrix: Point and click matrix to filter net requests according to source, destination and type

verdi

A framework for formally verifying distributed systems implementations in Coq

verifiedscion

Verifying the SCION architecture using Gobra

verus

Verified Rust for low-level systems code

viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

zh_gophers_gobra

Slide deck and examples from my talk on Gobra @ Zürich Gophers, 26.10.2022