Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new tesh example for liveness model checking with visited state reduction
[simgrid.git] / examples / msg / mc / deploy_bugged1_liveness_visited.xml
1 <?xml version='1.0'?>
2
3 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
4
5 <platform version="3">
6
7   <process host="Tremblay" function="coordinator" />
8
9    <process host="Boivin" function="client" >
10     <argument value="2"/>
11   </process>
12
13   <process host="Fafard" function="client" >
14     <argument value="1"/>
15   </process>
16
17 </platform>