des333   Эквивалентность двух схем   Mar 23 2009, 18:10
Maverick   Цитата(des333 @ Mar 23 2009, 22:10) Сущес...   Mar 24 2009, 05:27
Sefo   Существуют Formal Verification тулы, но они предна...   Mar 24 2009, 07:37
cdg   Цитата(des333 @ Mar 23 2009, 21:10) Сущес...   Mar 24 2009, 10:08
des333   Цитата(cdg @ Mar 24 2009, 13:08) Смотря о...   Mar 24 2009, 16:08
SM   Ну елки-палки, как это нету таких программ? Forma...   Mar 24 2009, 19:06
vitan   Цитата(SM @ Mar 24 2009, 22:06) Formality...   Mar 24 2009, 19:15
SM   Цитата(vitan @ Mar 24 2009, 22:15) Вроде ...   Mar 24 2009, 19:18
vitan   Ну да, это все правильно. Просто, des333 вроде бы,...   Mar 24 2009, 19:22
SM   Цитата(vitan @ Mar 24 2009, 22:22) От син...   Mar 24 2009, 20:15
disel   Цитата(SM @ Mar 24 2009, 23:15) Скачать -...   Mar 24 2009, 20:28
atlantic   Цитата(SM @ Mar 24 2009, 23:15) И... Если...   Mar 24 2009, 20:36
SM   Цитата(atlantic @ Mar 24 2009, 23:36) Ага...   Mar 24 2009, 20:42
Maverick   Спасибо , просветили!!! Я честно не з...   Mar 25 2009, 06:12
yes   Цитата(SM @ Mar 24 2009, 22:06) Ну елки-п...   Mar 25 2009, 17:32
SM   Цитата(yes @ Mar 25 2009, 20:32) то есть ...   Mar 26 2009, 10:35
yes   Цитата(SM @ Mar 26 2009, 13:35) Два полно...   Mar 26 2009, 17:36
des333   SM: Огромное спасибо! Осталось только найти...   Mar 24 2009, 19:15
SM   Хренасе, до чего дошел прогресс.... http://www.s...   Mar 24 2009, 20:31