jcp19

Follow

João Pereira jcp19

Follow

Formal Methods & PL, Program Analysis, Distributed Systems

164 followers · 273 following

ETH Zurich
jaoper.com

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 171 41
viperproject/VerifiedSCION viperproject/VerifiedSCION Public

Verifying the SCION architecture using Gobra

Go 12 5
scionproto/scion scionproto/scion Public

SCION Internet Architecture

Go 546 187
viperproject/silicon viperproject/silicon Public

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

Scala 140 42
viperproject/silver viperproject/silver Public

Definition of the Viper intermediate verification language.

Scala 98 53
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