Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/courses/fmsp/pvs-instruction.pdf Дата изменения: Wed Nov 12 14:49:08 2008 Дата индексирования: Mon Oct 1 21:53:12 2012 Кодировка:

pvs
pvs , : · () - · () - pvs : 1. ( , , , , ) 2. , . pvs. ( ), , . pvs: (skolem!) - , (inst) - (prop) - ( ) ! , merge-fnums. (flatten) - (simplify) - (, "(1::int)" "1") (hide ) - , - (rewrite ) - : (undo) - (grind) - , ( , - pvs ) ,