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

@inproceedings{Heuner2015TowardsPG,
  title={Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model},
  author={Alexander Heu\ssner and Christopher M. Poskitt and Claudio Corrodi and Benjamin Morandi},
  booktitle={GaM},
  year={2015}
}
Elements form a linear queue where head points to the front, next to the subsequent element, and tail to the back of the queue Figure 1: Type graph for CPM’s configurations as class diagram with constraints, where we assume disjoint finite sets of variable names (p1, . . . ,x1 . . . ), and reference names (r1, . . . ); let Meth be a finite set of method names, and Z be the set of integer numbers, B of Booleans; the cardinality of association edges is "1" if not noted otherwise; the different… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS