Saoithín: A Theorem Prover for UTP

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-16690-7_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

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

1995English

Student Use of an Interactive Theorem Prover

Contemporary Mathematics
Mathematics
1984English

Modeling of ALFA Programs Using PVS Theorem Prover

2009English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL
Philosophy
2001English

Proving Properties of Elementary Net Systems With a Special-Purpose Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Power Consumption Optimization for Bread Dough Prover

2019English

On an Unsatisfiability-Satisfiability Prover

Publications of the Research Institute for Mathematical Sciences
Mathematics
1989English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy