VeriFast 25.02
Verifikace vlastností programů (C, Java)
VeriFast je výzkumný prototyp nástroje pro modulární formální verifikaci správnosti vlastností programů v jazycích C a Java. Umožňuje ověřovat, zda programy splňují specifikace definované pomocí předpodmínek a popodmínek, které jsou napsány v separační logice. Používá symbolickou exekuci k ověření, že programy neobsahují nelegální přístupy do paměti.
Celkové hodnocení
Sdílet program
Souhrnné informace o VeriFast
-
Licence
-
Verze programu
25.02 -
Autor
-
Potřeba instalace
ne -
Domovská stránka
-
Velikost souboru
4,88 MB -
Operační systém
- Windows 7,
- Windows 8,
- Windows 10,
- Windows 11
-
Jazyk
- Angličtina
-
Staženo
10× celkem
0× tento měsíc -
Poslední aktualizace
20. 3. 2025
