The OpenNET Project / Index page

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

cqual - type-based analysis tool for checking properties of C programs

Дата
13 Aug 2002
Заголовокcqual - type-based analysis tool for checking properties of C programs
Home URLhttp://www.cs.umd.edu/~jfoster/cqual/
Флагenglish
Обновление12 Sep 2003
Стаб. вер.0.99
РазделОтладка и оценка кода
Ключи

 Добавить ссылку
 
 Поиск ссылки (regex):
 

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




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

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