Slunečnice.cz  »  Tvorba webových stránek a programování  »  Programovací jazyky  »  Java  »  VeriFast 26.01 - download

VeriFast 26.01

Modulární formální verifikace programů vytvářených v jazycích C a Java.
3

Pro hodnocení programu se prosím nejprve přihlaste

Staženo
36 ×

VeriFast je aplikace ovládaná pomocí příkazového řádku (CLI), která je určena pro modulární formální verifikaci správnosti vlastností programů vytvářených v jazycích C a Java. 

VeriFast dokáže ověřovat, zda programy splňují specifikace definované pomocí různých podmínek, které jsou napsány v separační logice. Program také používá  symbolickou exekuci k ověření toho, že programy neobsahují nelegální přístupy do paměti.

  • Licence

    MIT License

  • Verze programu

    26.01

  • Poslední aktualizace od vývojáře

    7. 2. 2026

  • Počet stažení za měsíc

    0 ×

  • Velikost

    5,99 MB

  • Web programu

    github.com

  • Potřeba instalace:

    Ne

  • Web autora

    verifast

  • Operační systémy

    • Windows 7,
    • Windows 8,
    • Windows 10,
    • Windows 11

  • Podporované jazyky

    • Angličtina
Zobrazit více
Stáhnout zdarma Zkontrolováno antivirem s vylepšením od Stáhnout zdarma Zkontrolováno antivirem

Aktualizace programu 7. 2. 2026 Antivirová kontrola 27. 2. 2026 3:47

Program pravděpodobně spustíte na tomto počítači

chci si vybrat jiné parametry

Sdílet program

Oznámit potíže s programem

Program nejde stáhnout, má chybný popis nebo víte o novější verzi? Dejte nám o tom vědět. Velice Děkujeme za Vaše podněty.

Vstoupit do diskuse

Podobné programy

TIP: Stahují se vám programy pomalu? Změřte si rychlost svého internetového připojení.

Nejstahovanější

1. Avast Free Antivirus Tip
2. Recuva 1 724 ×
3. VLC media player 1 121 ×
4. Adobe Acrobat Reader DC 914 ×
5. Win32 Disk Imager 585 ×
6. Pošta a kancelář 489 ×
7. Total Commander 427 ×
8. CCleaner 362 ×
9. LibreOffice 354 ×
10. Google Chrome 345 ×
11. WinRAR 336 ×
12. Supremo 312 ×
13. DAEMON Tools Lite 292 ×
14. CrystalDiskInfo 282 ×
15. 7-Zip 207 ×
16. IrfanView 185 ×
17. Winamp 182 ×
18. Driver Booster 172 ×
19. PDFCreator 157 ×
20. uTorrent Portable 154 ×
21. Seznam Prohlížeč 150 ×
1. Avast Free Antivirus Tip
2. Adobe Acrobat Reader DC 6 030 ×
3. VLC media player 5 067 ×
4. Win32 Disk Imager 3 126 ×
5. Total Commander 2 102 ×
6. Recuva 2 000 ×
7. Pošta a kancelář 1 912 ×
8. CCleaner 1 733 ×
9. WinRAR 1 647 ×
10. LibreOffice 1 608 ×
11. DAEMON Tools Lite 1 553 ×
12. Google Chrome 1 324 ×
13. Supremo 1 234 ×
14. CrystalDiskInfo 1 166 ×
15. 7-Zip 1 042 ×
16. uTorrent Portable 900 ×
17. IrfanView 764 ×
18. Picasa 725 ×
19. PDFCreator 707 ×
20. K-Lite Codec Pack Full 695 ×
21. Driver Booster 641 ×
1. Avast Free Antivirus Tip
2. VLC media player 62 225 ×
3. Adobe Acrobat Reader DC 44 680 ×
4. Total Commander 30 010 ×
5. Pošta a kancelář 28 397 ×
6. CCleaner 25 488 ×
7. WinRAR 23 083 ×
8. Google Chrome 22 075 ×
9. DAEMON Tools Lite 21 846 ×
10. LibreOffice 21 087 ×
11. 7-Zip 13 979 ×
12. uTorrent Portable 13 336 ×
13. Picasa 12 267 ×
14. aTube Catcher 11 913 ×
15. 4K Video Downloader 11 482 ×
16. IrfanView 11 399 ×
17. Driver Booster 10 184 ×
18. Windows Movie Maker 9 382 ×
19. Firefox 8 972 ×
20. CrystalDiskInfo 8 535 ×
21. K-Lite Codec Pack Full 8 413 ×