Uusi Laadunvarmistus ja testaus ohjelmistojen Varten Michael Norrish

HOL lyhyt korkeammista Tilaa Logic on ohjelmointiympäristö, jossa lauseet voidaan todistaa ja todiste hyväksymiä välineitä.Sisäänrakennettu päätöksentekomenettelyjen ja lause provers voi automaattisesti luoda monia yksinkertaisia ​​lauseet. Oraakkeli...