Viper: A verification infrastructure for permission-based reasoning
Metadata only
Date
2017Type
- Book Chapter
Publication status
publishedEditor
Book title
Dependable Software Systems EngineeringJournal / series
NATO Science for Peace and Security Series - D: Information and Communication SecurityVolume
Pages / Article No.
Publisher
IOS Press BVSubject
program verification; separation logic; verification tools; intermediate languageMore
Show all metadata