Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation.

Xiaoxiao Yang Joost-Pieter Katoen Huimin Lin Hao Wu

Published in: CoRR (2017)

Keyphrases

multiresolution
relative entropy
mutual exclusion
concurrent programs
decision making
multi agent
model checking
equivalence relation