Malte Schwerhoff

Malte Schwerhoff

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1088973
Swiss Federal Institute of Technology ETH Zurich
person_outline Malte Schwerhoff's MOST POPULAR ARTICLES
1-) Viper: A verification infrastructure for permission-based reasoning Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
2-) Advancing Automated, Permission-Based Program Verification Using Symbolic Execution ETH Zurich, 2016
3-) Automatic verification of iterated separating conjunctions using symbolic execution Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
4-) Lightweight suppoert for magic wands in an automatic verifier 29th European Conference on Object-Oriented Programming (ECOOP 2015) 37, 614-638, 2015
5-) Viper: A verification infrastructure for permission-based reasoning