Creative activities

• FIEDOR, J.; GACH, M.; ČEŠKA, M.: zetav; Tool for verification of systems specified in RT-Logic language. http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav, number of downloads: 2
  Detail

• GACH, M.; FIEDOR, J.; ČEŠKA, M.: verif; Tool for verification of systems described using the Modechart formalism. http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/verif. (software)
  http://www.fit.vutbr.cz/research/groups/verifit/tools/verif, number of downloads: 2
  Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.