The notion of graph which is most useful in computer science is that of a directed graph or
just a graph. A graph is a combinatorial structure consisting of a finite nonempty set of …

This article surveys fundamental and applied aspects of symmetry in system models, and of
symmetry reduction methods used to counter state explosion in model checking, an …

In this paper, we provide a survey of the different analysis techniques that are provided for
the modeling language Rebeca. Rebeca is designed as an imperative actor-based …

Rebeca is an actor-based language with formal semantics which is suitable for modeling
concurrent and distributed systems and protocols. Due to its object model, partial order and …

We present a new approximate verification technique for falsifying the invariants of B
models. The technique employs symmetry of B models induced by the use of deferred sets …

We study models of concurrency based on labelled transition systems where abstractions
are induced by a partition of the action set. We introduce dimming relations which are able to …