Új Minőségbiztosítás és tesztelés szoftver Mert Michael Norrish

HOL rövid magasabb rendű Logic egy programozási környezet, amelyben tételek bizonyítja és bizonyítási eszközök végrehajtani.Beépített döntéshozatali eljárással és a tétel Provers automatikusan létrehozza sok egyszerű tételek. Az Oracle mechanizmust...