Pinned Repositories
jcp19
micro-benchmarks
Fork of minha-benchmarks, a suit of tests for the MINHA framework
oldVerifiedSCION
A verified version of SCION's go source code
SPIDER
Automated data race detection from a distributed trace via SMT constraint solving
scion
SCION Internet Architecture
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
silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
silver
Definition of the Viper intermediate verification language.
VerifiedSCION
Verifying the SCION architecture using Gobra
jcp19's Repositories
jcp19/SPIDER
Automated data race detection from a distributed trace via SMT constraint solving
jcp19/oldVerifiedSCION
A verified version of SCION's go source code
jcp19/VerifiedSCION
Verifying the SCION architecture using Gobra
jcp19/jcp19
jcp19/micro-benchmarks
Fork of minha-benchmarks, a suit of tests for the MINHA framework
jcp19/go
The Go programming language
jcp19/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
jcp19/gobra-action-tests
Tests for the gobra-action
jcp19/goolong
Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"
jcp19/IRConverter
An IRConverter from WALA IR to Soot IR (Jimple)
jcp19/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
jcp19/owncloud_ansible
ownCloud network deployment
jcp19/robot_festival_2014
Code made in high school for my Robotic's team, to participate in National Festival of Robotics 2014
jcp19/scion
SCION Internet Architecture
jcp19/silver
Definition of the Viper intermediate verification language.
jcp19/uMatrix
uMatrix: Point and click matrix to filter net requests according to source, destination and type
jcp19/verdi
A framework for formally verifying distributed systems implementations in Coq
jcp19/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
jcp19/zh_gophers_gobra
Slide deck and examples from my talk on Gobra @ Zürich Gophers, 26.10.2022
jcp19/gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
jcp19/gobra-ide
VSCode Plugin for Gobra
jcp19/gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
jcp19/program-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobra
jcp19/rerast
A tool for transforming Rust code using rules
jcp19/verified_go_stdlib
Attempt at verifying parts of the Go Standard Library
jcp19/verus
Verified Rust for low-level systems code