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

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

 
 
Page URL: http://www.pm.inf.ethz.ch/
31.07.2015
© 2015 Eidgenössische Technische Hochschule Zürich