Kiinteistövälitys Checker

[joe2moon]

Jotkut omaisuuden checker ...
-------------------------------------------------- -------------------
ModelSim 5,8 PSL (Property Specification Language) Beta
http://www.model.com/products/beta/58/58_psl.asp

Averant
n jähmettyä: Staattiset Toiminnallinen tarkastus
http://www.averant.com/faqs.htm # 1

Verity-Check, Design Verity omaisuuden checker
http://www.veritable.com/Computer/Formal_Validation/Verity-Check/verity-check.html

VN-Kiinteistövälitys: Kiinteistövälitys Checker ja Analyzer
http://www.transeda.com/

 

[linuxluo]

hei,
kanisteri u kertoa minulle, joista yksi on suosituin?
ja miten megallen alkaen SYN (at) psys?
kiitos.