Jednostki i relacje są określone jako typy zdefiniowane przez użytkownika. Będziemy używać narzędzia do potwierdzania PVS. Weryfikacja polega na udowodnieniu warunków poprawności typu, które są generowane automatycznie przez kontroler typu.
historia wersji
- Wersja N/A opublikowany na 2010-03-12
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2010-03-12
Szczegóły programu
- Kategorii: Sieć & Internet > Innych
- Wydawca: ermt.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows