Conferences in DBLP
Sten Agerholm LCF Examples in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Andersen , Kim Dam Petersen , Jimmi S. Pettersson A Graphical Tool for Proving Unity Progress. [Citation Graph (0, 0)][DBLP ] Conf ] Catia M. Angelo , Luc J. M. Claesen , Hugo De Man Reasoning About a Class of Linear Systems of Equations in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Bodeveix , Mamoun Filali , P. Roche Towards a HOL Theory and Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen H. Brackin Providing Tractable Security Analysis in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] N. G. de Bruijn Highlighting the Lambda-free Fragment of Automath. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Busch First-Order Automation for Higher-Order-Logic Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Juanito Camilleri , Vincent Zammit Symbolic Animation as a Proof Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Chapman , Simon Finn , Michael P. Fourman Datatypes in L2. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Tsun Chou A Formal Theory of Undirected Graphs in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Tsun Chou Mechanical Verification of Distributed Algorithms in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Curzon Tracking Design Changes with Formal Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Forster Weak Systems of Set Theory Related to HOL. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Fura , Arun K. Somani Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circiut Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Brian T. Graham An Interpretation of NODEN in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Hanna Reasoning about Real Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] John Harrison Binary Decision Diagrams as a HOL Derived Rule. [Citation Graph (0, 0)][DBLP ] Conf ] Peter V. Homeier , David F. Martin Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey J. Joyce , Nancy A. Day , Michael R. Donat S: A Machine Readable Specification Notation based on Higher Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Larsson An Engineering Approach to Formal Digital System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Juin-Yeu Lu , Shiu-Kai Chin Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Långbacka A HOL Formalisation of the Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Savi Maharaj , Elsa L. Gunter Studying the ML Module System in Hol. [Citation Graph (0, 0)][DBLP ] Conf ] I. S. W. B. Prasetya Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Reetz , Thomas Kropf Simplifying Deep Embedding: A Formalised Code Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Schneider , Ramayya Kumar , Thomas Kropf Automating Verification by Functional Abstraction at the System Level. [Citation Graph (0, 0)][DBLP ] Conf ] Konrad Slind A Parameterized Proof Manager. [Citation Graph (0, 0)][DBLP ] Conf ] Sofiène Tahar , Ramayya Kumar Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Phillip J. Windley Specifying Instruction-Set Architectures in HOL: A Primer. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim von Wright Representing Higher-Order Logic Proofs in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] 