Viper: A verification infrastructure for permission-based reasoning

Thumbnail
Metadata only
Author
Müller, Peter
Schwerhoff, Malte
Summers, Alexander J.
Date
2017
Type
  • Book Chapter
Publication status
published
External links
Search via SFX
Editor
Pretschner, Alexander
Peled, Doron
Hutzelmann, Thomas
Book title
Dependable Software Systems Engineering
Journal / series
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume
50
Pages / Article No.
104 - 125
Publisher
IOS Press BV
Subject
program verification; separation logic; verification tools; intermediate language
More
Show all metadata
Citations
Cited 0 times in Web of Science
ETH Bibliography
yes
Altmetrics