Tags
model checking
token passing systems
decidability
pairwise rendezvous
buchi automata
parameterized model checking
cutoffs
real time
logic
software verification
vcs
eclipse
egit
source code
git
software engineering
universita politecnica delle marche
ancona
univpm
dii
italy
gilberto taccari
francesco spegni
luca spalazzi
See more