mueller55

Pinned Repositories

• examples

  A repository of Viper examples.

  0401

• silver

  Definition of the Viper intermediate verification language.

  Language:Scala78956541

• tutorial

  This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.

  04103

• voila

  Voila is proof outline checker for fine-grained concurrency verification

  Language:Scala131172

mueller55's Repositories