The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

BLAST - Berkeley Lazy Abstraction Software Verification Tool for C

Дата
13 Aug 2002
ЗаголовокBLAST - Berkeley Lazy Abstraction Software Verification Tool for C
Home URLhttp://www-cad.eecs.berkeley.edu/~rupak/blast/
Флагenglish
Обновление10 Nov 2004
Стаб. вер.2.2.10
РазделОтладка и оценка кода
Ключи
 Добавить ссылку
 
 Поиск ссылки (regex):
 

Последние заметки
<< Предыдущие 15 записей

Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей 		Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру