João Pereira's repositories
oldVerifiedSCION
A verified version of SCION's go source code
VerifiedSCION
Verifying the SCION architecture using Gobra
micro-benchmarks
Fork of minha-benchmarks, a suit of tests for the MINHA framework
gobra-action-tests
Tests for the gobra-action
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.
MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your IDE integration
owncloud_ansible
ownCloud network deployment
robot_festival_2014
Code made in high school for my Robotic's team, to participate in National Festival of Robotics 2014
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
gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
gobra-ide
VSCode Plugin for Gobra
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
program-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobra
verified_go_stdlib
Attempt at verifying parts of the Go Standard Library