it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.

monitor\cache.c
.......\demo.in
.......\demo_data (conflicting version 1 created on Home PC).txt
.......\demo_data.txt
.......\demo_data_new.txt
.......\demo_spec.txt
.......\distances.c
.......\distances.h
.......\inpdat.txt
.......\lex.c
.......\ltl2ba.h
.......\main (conflicting version 1 created on Home PC).c
.......\main (conflicting version 2 created on Lab- PC).c
.......\main.c
.......\Makefile
.......\mem.c
.......\monitor (conflicting version 1 created on Home PC).ncb
.......\monitor (conflicting version 2 created on Lab- PC).ncb
.......\monitor.dsp
.......\monitor.dsw
.......\monitor.h
.......\monitor.ncb
.......\monitor.opt
.......\monitor.plg
.......\monitor.sln
.......\monitor.sln.old
.......\monitor.suo
.......\monitor.vcproj
.......\monitor.vcproj.8.00.old
.......\monitor.vcproj.ASUAD.cliu81.user
.......\monitor.vcproj.AUT-AGENT1.SaMaTaS.user
.......\monitor.vcproj.CheLiu-PC.Che Liu.user
.......\monitor.vcproj.GFTHEGREAT2.fainekos.user
.......\mtlmonitor.c
.......\parse.c
.......\rewrt.c
.......\taliro.exe
.......\taliro_exm_1_data.txt
.......\taliro_exm_1_spec.txt
.......\UpgradeLog.XML
.......\_UpgradeReport_Files\UpgradeReport.css
.......\....................\UpgradeReport.xslt
.......\....................\UpgradeReport_Minus.gif
.......\....................\UpgradeReport_Plus.gif
.......\_UpgradeReport_Files
monitor

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．