Automating Most Parts of Hardware Proofs in HOL

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-55179-4_35
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Certified Connection Tableaux Proofs for HOL Light and TPTP

2015English

Nuprl as Logical Framework for Automating Proofs in Category Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Computer Vision Hardware System for Automating Rough Mills of Furniture Plants

1990English

Refinement to Imperative/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

The Formalization of Discrete Fourier Transform in HOL

Mathematical Problems in Engineering
MathematicsEngineering
2015English

On Definitions of Constants and Types in HOL

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2016English

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

Automating Localization Microscopy

Biophysical Journal
Biophysics
2019English

Proofs for Free

Journal of Functional Programming
Software
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy