Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Download
Text (PDF, 1.054Mb)
Thumbnail
Open access
ccby
Author
Heußner, Alexander
Poskitt, Christopher M.
Corrodi, Claudio
Morandi, Benjamin
Show all
Date
2015
Type
    Conference Paper
Rights / license
Creative Commons Attribution 3.0 Unported
Permanent link
https://doi.org/10.3929/ethz-a-010415005
Publication status
published
External links
Editor
Rensink, Arend
Zambon, Eduardo
Journal / series
Electronic Proceedings in Theoretical Computer Science
Volume
181
Pages / Article No.
32 - 47
Publisher
Open Publishing Association
Event
Graphs as Models (GaM 2015), London, United Kingdom, April 11-12, 2015
Subject
VERIFICATION (SOFTWARE ENGINEERING); PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
03594 - Meyer, Bertrand (emeritus)  
More
Show all metadata
ETH Bibliography
yes
Altmetrics