Viper: A verification infrastructure for permission-based reasoning
The work
| Title | Viper: A verification infrastructure for permission-based reasoning |
|---|---|
| Authors | Peter Müller; Malte Schwerhoff; Alexander J. Summers |
| Type | conference paper |
| Year | 2016 |
| Citekey | muller2016viper |
Where it appeared
| Published in | Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17 |
|---|---|
| Publisher | Springer |
| Pages | 41--62 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{muller2016viper,
title = {Viper: A verification infrastructure for permission-based reasoning},
author = {Peter Müller and Malte Schwerhoff and Alexander J. Summers},
year = {2016},
booktitle = {Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17},
pages = {41--62},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/muller2016viper/ and will keep doing so.