source: vis_dev/vis-2.1/examples/ctlp3/check_result @ 11

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

Add vis
File size: 1009 bytes
Line 
1# MC: formula failed --- AF(FALSE)
2# LE: language is not empty
3# MC: formula passed --- AG(TRUE)
4# MC: formula failed --- AG((ph0.state=HUNGRY -> AF(ph0.state=EATING)))
5# INV: formula passed --- (((((ph0.state=READING + ph1.state=READING) + ph2.state=READING) * !((ph0.state=READING * ph1.state=READING))) * !((ph1.state=READING * ph2.state=READING))) * !((ph0.state=READING * ph2.state=READING)))
6# LE: language is not empty
7# MC: formula passed --- AG((ph0.state=HUNGRY -> AF(ph0.state=EATING)))
8# LTL_MC: formula passed
9# INV: formula passed --- (((((ph0.state=READING + ph1.state=READING) + ph2.state=READING) * !((ph0.state=READING * ph1.state=READING))) * !((ph1.state=READING * ph2.state=READING))) * !((ph0.state=READING * ph2.state=READING)))
10# INV: formula passed --- (((((ph0.state=READING + ph1.state=READING) + ph2.state=READING) * !((ph0.state=READING * ph1.state=READING))) * !((ph1.state=READING * ph2.state=READING))) * !((ph0.state=READING * ph2.state=READING)))
11# LE: language is not empty
Note: See TracBrowser for help on using the repository browser.