nehnuteľnosti Checker

[joe2moon]

Niektoré nehnuteľnosti checker ...
-------------------------------------------------- -------------------
ModelSim 5.8 PSL (Property Specification Language) Beta
http://www.model.com/products/beta/58/58_psl.asp

Averant je stuhnúť: Static Overenie funkčnosti
http://www.averant.com/faqs.htm # 1

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

VN-nehnuteľnosti: Nehnuteľnosť: Dáma a Analyzer
http://www.transeda.com/

 

[linuxluo]

nazdar,
can u tell me, ktorá z nich je najobľúbenejší?
a ako asi megallen od syn (at) psys?
vďaka.