A Highly Dependable Computing Architecture for Safety-CriticalControl Applications
Real-Time Systems - Special issue on safety-critical systems
Reasoning About Analog-Level Implementationsof Digital Systems
Formal Methods in System Design
Formally Analyzed Dynamic Synthesis of Hardware
The Journal of Supercomputing
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Abstraction and Refinement in Higher Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Register Transformations with Multiple Clock Domains
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Formally Linking MDG and HOL Based on a Verified MDG System
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Reasoning about Imperfect Digital Systems
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Programming methodology
Architectural descriptions for FPGA circuits
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
A reflective functional language for hardware design and theorem proving
Journal of Functional Programming
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
Automatic Formal Synthesis of Hardware from Higher Order Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A denotational semantics for Handel-C hardware compilation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Coquet: a coq library for verifying hardware
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
A symbolic modelling approach for the formal verification of integrated mixed-mode systems
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Design rules and abstractions: from branching and real time
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Stateless higher-order logic with quantified types
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
| Hi-index | 0.00 |