source: vis_dev/vis-2.1/examples/exampleS/exampleS.fair @ 15

Last change on this file since 15 was 11, checked in by cecile, 13 years ago

Add vis
File size: 231 bytes
Line 
1#.model resource
2#.state st2 = m_st:U
3#.state st3 = r_st:I
4#.negfair
5#.subsets {st2}
6#.subsets {st3}
7#.endfair
8#.endmodel
9## TESLA ver 0.2
10# assertion 0: req implies (req until grant) then (use until release)
11!(m_st=D);
12!(r_st=I);
Note: See TracBrowser for help on using the repository browser.