How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/9.1.1
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Saoithín: A Theorem Prover for UTP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

The MODUS Approach to Formal Verification

Business Systems Research
Information SystemsFinanceEconomicsManagement Information SystemsInnovationManagement of TechnologyEconometrics
2014English

Student Use of an Interactive Theorem Prover

Contemporary Mathematics
Mathematics
1984English

Modeling of ALFA Programs Using PVS Theorem Prover

2009English

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas

1995English

Why and How to Avoid a Desk-Rejection

Research in Nursing and Health
Nursing
2020English

Evaluation of the Larch/VHDL Interactive Prover in Hardware Verification

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy