Towards Distributed Software Model-Checking using Decision Diagrams

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

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

Reference:

Towards Distributed Software Model-Checking using Decision Diagrams (Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg), In 25th International Conference on Computer Aided Verification (CAV), Springer Verlag, 2013.

Bibtex Entry:

@INPROCEEDINGS{LIP69510,
                    author = {Colange, Maximilien and Baarir, Souheib and Kordon, Fabrice and Thierry-Mieg, Yann},
               x-lip6teams = {MOVE},
                  x-lip6id = {9510},
  x-international-audience = {yes},
                     month = jul,
                     title = {{T}owards {D}istributed {S}oftware {M}odel-{C}hecking using {D}ecision {D}iagrams},
                 booktitle = {25th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV})},
                    series = {{L}ecture {N}otes in {C}omputer {S}cience},
                      year = {2013},
                     pages = {830--845},
                 publisher = {Springer Verlag},
                  location = {Saint-Petersbourg, Russia},
                  url = {documents/cav_2013.pdf}
}