Modeling of ALFA Programs Using PVS Theorem Prover

doi 10.1109/artcom.2009.134
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Saoithín: A Theorem Prover for UTP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Student Use of an Interactive Theorem Prover

Contemporary Mathematics
Mathematics
1984English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL
Philosophy
2001English

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

1995English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

ProVeR: Probabilistic Video Retrieval Using the Gauss-Tree

2007English

Surge Modeling in Sewers Using Alternative Hydraulic Software Programs

Journal of Water Management Modeling
DevelopmentCivilStructural EngineeringPlanningWater ScienceTechnologyGeography
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy