Main content

Research Projects


Chalice

chalice logo
  

An experimental language and verifier for concurrent programs. More


Sample

Sample logo
       

A generic static analyzer based on abstract interpretation. More


Tandem

Complementing partial verification results with automatic test case generation. More


Viper

A verification infrastructure for permission-based reasoning. More


Lyra

Static analysis of data science applications. 
More

Research Projects


envision

Envision
 

A fast and scalable visual programming interface. More


Spec#

Spec#
 

Integrating formal verification into mainstream programming. More


touchguru

Integrating static analysis with a mobile development environment. More


RoboAttorney

Formal analysis of smart contracts. More


VerifySCION

Formal verification of the SCION internet architecture implementation. More

 
 
Page URL: http://www.pm.inf.ethz.ch/
Tue Mar 28 09:35:08 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich