Starling: Lightweight Concurrency Verification With Views

Matthew Bernard Windsor, Michael David Dodds, Matthew J. Parkinson, Ben Simner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationComputer aided verification
Subtitle of host publication29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings
EditorsRupak Majumdar, Viktor Kuncak
Pages544-569
Volume1
ISBN (Electronic)9783319633879
DOIs
Publication statusPublished - 2017
EventInternational Conference, Computer Aided Verification, 2017 - Heidelberg, Germany
Duration: 24 Jul 201728 Jul 2017
Conference number: 29th

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10426
ISSN (Print)0302-9743

Conference

ConferenceInternational Conference, Computer Aided Verification, 2017
Abbreviated titleCAV 2017
Country/TerritoryGermany
CityHeidelberg
Period24/07/1728/07/17

Cite this