MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proving unprovability" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Proving unprovability in some normal modal logics
by Valentin Goranko, Valentin Goranko — 1991 — Bulletin of the Section of Logic. Polish Academy of Science
…, pp. 23–29] Valentin Goranko PROVING UNPROVABILITY IN SOME NORMAL MODAL LOGIC The present…
Cited by 1 (0 self) – Add To MetaCart

A Static Analysis of a Classical Linear Logic Programming Language
by Kyoung-sun Kang
… of the execution time is spent for trying to prove unprovable sequents. Therefore, it is very important to find…
Cited by 1 (1 self) – Add To MetaCart

A Tool for Proving Invariance Properties of Concurrent Systems Automatically
by unknown authors
… to prove the unproved lemmas using the PVS interactive prover, or start a new proof session with new…
Add To MetaCart

Verifying Cryptographic Protocols for Electronic Commerce
by All W. Lichota, Grace L. Hammonds, Stephen H. Brackin, Area Systems, Dr. Randall, Randall W. Lichota, Dr. Stephen, H. Brackin — 1996 — 2nd USENIX Workshop on Electronic Commerce
… SPARCstation platforms, running SunOS 4.1.3. produces ISL output files describing proved and unproved goals…
Cited by 4 (0 self) – Add To MetaCart

HYPOTHETICAL RESOURCES SPECULATIVE RESOURCES SPECULATIVE RESOURCES DISCOVERED RESOURCES DISCOVERED RESOURCES
by unknown authors — 1999
… DISCOVERED RESOURCES DISCOVERED RESOURCES RESERVES RESERVES PROVED RESERVES PROVED RESERVES UNPROVED RESERVES…
Add To MetaCart

An Overview of JML Tools and Applications
by Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, Erik Poll — 2003
… cannot be expected to use the B proof tool. Therefore, in addition to the proved and unproved states…
Cited by 164 (32 self) – Add To MetaCart

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems
by Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colon, Bernd Finkbeiner, Mark Pichora, Henny B. Sipma, Tomas E. Uribe — 1998 — IN 8TH CAV
… the Proof Editor, the Diagram Editor can highlight proved and unproved edges and nodes in the diagram…
Cited by 47 (9 self) – Add To MetaCart

Verifying Invariants Using Theorem Proving
by Susanne Graf, Hassen Saidi, Then P — 1996 — In Alur and Henzinger [AH96
… suspend this process and try to prove the unproved obligation in an interactive manner using the PVS proof…
Cited by 27 (6 self) – Add To MetaCart

Extending the HOL theorem prover with a Computer Algebra System to Reason about the Reals
by John Harrison — 1993 — Higher Order Logic Theorem Proving and its Applications (HUG `93
… then be overwhelmed by the time spent on trying to prove unprovable subgoals. The only way to avoid this kind…
Cited by 33 (3 self) – Add To MetaCart

A Static Analysis Method for a Classical Linear Logic Programming Language
by Kyoung-sun Kang, Naoyuki Tamura — 2000 — Information Processing Society of Japan Transactions on Programming
… is spent trying to prove unprovable sequents. This problem is also common to the other linear logic…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB