Conferences in DBLP
Michael J. C. Gordon Introduction to the HOL System. [Citation Graph (0, 0)][DBLP ] Conf ] Sara Kalvala HOL Around the World. [Citation Graph (0, 0)][DBLP ] Conf ] John Herbert Dealing With Temporal Complexity in Hardware Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Shiu-Kai Chin Verifying Arithmetic Hardware in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Phillip J. Windley The Practical Verification of Microprocessor Designs. [Citation Graph (0, 0)][DBLP ] Conf ] E. Thomas Schubert Verification of Integrated Subsystems. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Hale Reasoning About Software. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Cardell-Oliver On the use of the HOL system for Protocol Verification. [Citation Graph (0, 0)][DBLP ] Conf ] William L. Harrison , Karl N. Levitt Mechanizing Security in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Loewenstein Learning to use HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Keutzer The Need for Formal Verification in Hardware Design and What Formal Verification Has Not Done for Me Lately. [Citation Graph (0, 0)][DBLP ] Conf ] E. Thomas Schubert Verification of Composed Hardware Systems Using CCS. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. Gambles , Phillip J. Windley An HOL Theory for Logic States with Indeterminate Strengths. [Citation Graph (0, 0)][DBLP ] Conf ] X. Wang , Edward P. Stabler Formalization of VHDL Synthesis Procedure in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Shiu-Kai Chin , Graham M. Birtwistle Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Bainbridge , Albert John Camilleri , Roger Fleming Industrial Application of Theorem Proving to System Level Design. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Gerber , Elsa L. Gunter , Insup Lee Implementing a Real-Time Process Algebra in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim von Wright Mechanising the Temporal Logic of Actions in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] D. Shepherd Using HOL to produce custom verification tools. [Citation Graph (0, 0)][DBLP ] Conf ] Ramayya Kumar , Thomas Kropf , Klaus Schneider Integrating a First-Order Automatic Prover in the HOL Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Grundy Window Inference in the HOL System. [Citation Graph (0, 0)][DBLP ] Conf ] Ramayya Kumar , Thomas Kropf , Klaus Schneider First Steps Towards Automating Hardware Proofs in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby Design Choices in Specification Languages and Verification Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sten Agerholm Mechanizing Program Verification in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel E. O. Roxas , Malcolm C. Newey Proof of Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim von Wright , Kaisa Sere Program Transformations and Refinements in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] David F. Martin , R. J. Toal Case Studies in Compiler Correctness Using HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Curzon A Verified Compiler for a Structured Assembly Language. [Citation Graph (0, 0)][DBLP ] Conf ] R. D. Arthan A Report on ICL HOL. [Citation Graph (0, 0)][DBLP ] Conf ] George Fink , Myla Archer , Lie Yang PM: A Proof Manager for HOL and Other Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Sara Kalvala Developing an Interface for HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Matt Kaufmann An Informal Discussion of Issues in Mechanically-Assisted Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Catia M. Angelo , Diederik Verkest , Luc J. M. Claesen , Hugo De Man Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Melham A Package for Inductive Relation Definitions in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] W. Ploegaerts , Luc J. M. Claesen , Hugo De Man Defining Recursive Functions in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Andersen , Kim Dam Petersen Recursive Boolean Functions in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm C. Newey Proof Based Computation. [Citation Graph (0, 0)][DBLP ] Conf ] E. de Barros Lucena Reasoning about Petri Nets in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] W. Wong A Simple Graph Theory and Its Application in Railway Signalling. [Citation Graph (0, 0)][DBLP ] Conf ] 