Conferences in DBLP
Sten Agerholm LCF Examples in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:1-16 [Conf ] Flemming Andersen , Kim Dam Petersen , Jimmi S. Pettersson A Graphical Tool for Proving Unity Progress. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:17-32 [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 ] TPHOLs, 1994, pp:33-48 [Conf ] Jean-Paul Bodeveix , Mamoun Filali , P. Roche Towards a HOL Theory and Memory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:49-64 [Conf ] Stephen H. Brackin Providing Tractable Security Analysis in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:65-80 [Conf ] N. G. de Bruijn Highlighting the Lambda-free Fragment of Automath. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:81-96 [Conf ] Holger Busch First-Order Automation for Higher-Order-Logic Theorem Proving. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:97-112 [Conf ] Juanito Camilleri , Vincent Zammit Symbolic Animation as a Proof Tool. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:113-127 [Conf ] Nick Chapman , Simon Finn , Michael P. Fourman Datatypes in L2. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:128-143 [Conf ] Ching-Tsun Chou A Formal Theory of Undirected Graphs in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:144-157 [Conf ] Ching-Tsun Chou Mechanical Verification of Distributed Algorithms in Higher-Order Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:158-176 [Conf ] Paul Curzon Tracking Design Changes with Formal Verification. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:177-192 [Conf ] Thomas Forster Weak Systems of Set Theory Related to HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:193-204 [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 ] TPHOLs, 1994, pp:205-220 [Conf ] Brian T. Graham An Interpretation of NODEN in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:221-234 [Conf ] Keith Hanna Reasoning about Real Circuits. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:235-253 [Conf ] John Harrison Binary Decision Diagrams as a HOL Derived Rule. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:254-268 [Conf ] Peter V. Homeier , David F. Martin Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:269-284 [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 ] TPHOLs, 1994, pp:285-299 [Conf ] Mats Larsson An Engineering Approach to Formal Digital System Design. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:300-315 [Conf ] Juin-Yeu Lu , Shiu-Kai Chin Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:316-331 [Conf ] Thomas Långbacka A HOL Formalisation of the Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:332-345 [Conf ] Savi Maharaj , Elsa L. Gunter Studying the ML Module System in Hol. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:346-361 [Conf ] I. S. W. B. Prasetya Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:362-377 [Conf ] Ralf Reetz , Thomas Kropf Simplifying Deep Embedding: A Formalised Code Generator. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:378-390 [Conf ] Klaus Schneider , Ramayya Kumar , Thomas Kropf Automating Verification by Functional Abstraction at the System Level. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:391-406 [Conf ] Konrad Slind A Parameterized Proof Manager. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:407-423 [Conf ] Sofiène Tahar , Ramayya Kumar Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:424-439 [Conf ] Phillip J. Windley Specifying Instruction-Set Architectures in HOL: A Primer. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:440-455 [Conf ] Joakim von Wright Representing Higher-Order Logic Proofs in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:456-470 [Conf ]