jcp19 (João Pereira) · GitHub

jcp19/README.md

Hello World! 👋🌎

❤️ Formal Methods, Programming Languages, Concurrency, Distributed Systems
🔭 Ph.D. student in the Programming Methodology Group at ETH Zürich
📫 Check my website for contact info

Pinned Loading

viperproject/gobra viperproject/gobra Public

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

Scala 154 37
viperproject/VerifiedSCION viperproject/VerifiedSCION Public

Verifying the SCION architecture using Gobra

Go 11 5
scionproto/scion scionproto/scion Public

SCION Internet Architecture

Go 528 183
viperproject/silicon viperproject/silicon Public

Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 132 38
viperproject/silver viperproject/silver Public

Definition of the Viper intermediate verification language.

Scala 96 48
viperproject/gobra-libs viperproject/gobra-libs Public

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

Python 2 2