activity
20152017
most citedTowards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

6 citations · 8 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2015

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE

Claudio Corrodi

SCOOP is a programming model and language that allows concurrent programming at a high level of abstraction. Several approaches to verifying SCOOP programs have been proposed in th…