VCC 2.3 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы.
По умолчанию названия для установочного файла VCC.exe или VccPortCasa.exe и т.д.
Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность.
Самые популярные версии среди пользователей ПО 2.3 и 1.0. Эта бесплатная программа была разработана Microsoft Research. VCC относится к категории Разработчикам.
От разработчика:
VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications.
Мы предлагаем оценить другие программы, такие как Microsoft Research Vcc или Volkswagen Concept Car, которые часто используются вместе с VCC.