IFIP transactions

Series

Browse all works related to IFIP transactions.

"11" Result
Sort By:
Higher order logic theorem proving and its applications

Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International…

by Gordon, Michael J. C., Claesen, Luc J. M., International Federation for Information Processing., Technical Committee 10, IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Leuven, Bèlgica), Comissió de les Comunitats Europees, International Federation for Information Processing., Working Group 10.2, Interuniversitair Micro-Elektronica Centrum (Leuven)

fromIFIP transactions

0 Type: Book
Higher order logic theorem proving and its applications

Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International…

by Commission of the European Communities, Gordon, Michael J. C., IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Leuven, Belgium), Claesen, Luc J. M., Interuniversity Micro-Electronics Center

fromIFIP transactions

0 Type: Book

The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are consi…