Towards Distributed Software Model-Checking Using Decision Diagrams.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Browse the full CAV paper archive.