Common Manipulations Ben L. Di Vito Langley Research Center, Hampton,...  Home/Search
Context
Related
| nasa.gov/ltrs/PDF/...2002tm211647.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/people/bld/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this report can be applied to good effect. Moreover, the basic approachisgeneral enough to work for provers other than PVS (Update)
Similar documents (at the sentence level):
34.6%: A PVS Prover Strategy Package for Common Manipulations - Di Vito (2002) (Correct)
26.6%: A PVS Prover Strategy Package for Common Manipulations Version 0.9 - Di Vito (2001) (Correct)
Active bibliography (related documents): More All
0.1: A Theorem Prover for ASTRAL - Kolano (1998) (Correct)
0.1: Adding Real Time Constraints to Synchronised Petri Nets - Serugendo, Mandrioli.. (2000) (Correct)
0.1: Proof Assistance for Real-Time Systems Using an Interactive.. - Kolano (2002) (Correct)
Similar documents based on text: More All
0.2: Formal Techniques for Synchronized Fault-Tolerant Systems - Di Vito, Butler (1992) (Correct)
0.2: High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (Correct)
0.2: Formal Design and Verification of a Reliable Computing.. - Butler, Di Vito (1992) (Correct)
BibTeX entry: (Update)
@misc{ ben-pvs,
author = "Common Manipulations Ben",
title = "A PVS Prover Strategy Package for",
url = "citeseer.ist.psu.edu/611573.html" }
Citations (may not include all citations):9 TAME: Using PVS strategies for special-purpose theorem provi.. (context) - Archer - 2000
8 Providing automated support to deductive analysis of time cr.. - Alborghetti, Gargantini et al. - 1922
1 Formal verification of conflict detection algorithms - Butler, no et al. - 2001
Documents on the same site (http://shemesh.larc.nasa.gov/people/bld/): More
Formal Techniques for Synchronized Fault-Tolerant Systems - Di Vito, Butler (1992) (Correct)
Formalizing New Navigation Requirements for NASA's Space Shuttle - Di Vito (1996) (Correct)
Formalizing Space Shuttle Software Requirements - Crow, Di Vito (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC