mfsp:有关C程序的形式验证的课程 源码
Формальнаяверификация-этопроцессдоказательстватого,чтонекотораяпрограммавыпоевсе ВрезультатеосвоенияэтогокурсаслушательсможетзаписыватьтребованиякСи-программамнаязыкеформальнойспецификацииACSLиверифицироватьСи-программынебольшогоисреднегоразмераметодамидедуктивной(или,по-другому,аналитической)вери
暂无评论