Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : copyright header for safety properties model checking examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 2 Jul 2012 14:40:25 +0000 (16:40 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 16:42:21 +0000 (18:42 +0200)
commit712e7b7fa1893b2e989c4846e1839bcee0393a8c
treea0e1e0e4c1935306383921aa23911cb02a35496a
parent0f123dd4d0d60d0c57bcae6f3629c83e32549b39
model-checker : copyright header for safety properties model checking examples
examples/msg/mc/bugged1.c
examples/msg/mc/bugged2.c
examples/msg/mc/bugged3.c
examples/msg/mc/centralized_mutex.c