| Description |
1 online resource (v, 107, [1] pages) : illustrations. |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
| Series |
NASA/CP ; 2003-212448 |
|
NASA conference publication ; 2003-212448.
|
| Note |
Title from title screen (viewed Dec. 3, 2014). |
|
"September 2003." |
|
"Proceedings of a workshop sponsored by the Naval Research Laboratory, the National Aeronautics and Space Administration and the National Institute of Aerospace and held in Rome, Italy September 8, 2003." |
| Bibliography |
Includes bibliographical references and index. |
| Contents |
Writing PVS proof strategies / Sam Owre, Natarajan Shankar -- Developing user strategies in PVS: a tutorial / Myla Archer, Ben Di Vito, César Muñoz -- Strategy-enhanced interactive proving and arithmetic simplification for PVS / Ben L. Di Vito -- First-order proof tactics in higher-order logic theorem provers / Joe Hurd -- Coq tacticals and PVS strategies: a small step semantics / Florent Kirchner -- Rippling in PVS / A.A. Adams, L.A. Dennis -- Generating proof-specific strategies for PVS / Pertti Kellomäki -- Developing strategies for specialized theorem proving about untimed, timed, and hybrid I/O automata / Sayan Mitra, Myla Archer. |
| Funding |
Sponsored by the National Aeronautics and Space Administration 23-704-03-50 |
|
L-18328 |
| Subject |
Theorem proving.
|
|
Semantics.
|
|
Tactics.
|
|
Computer programming.
|
|
Calculus.
|
| Added Author |
Archer, Myla, editor.
|
|
Di Vito, Ben L., editor.
|
|
Mu˜noz, Cesar A., 1968- editor.
|
|
Langley Research Center, issuing body.
|
|
United States. National Aeronautics and Space Administration, sponsoring body.
|
| Added Title |
Design and application of strategies tactics in higher order logics |
| Other Form: |
Print version: Design and application of strategies/tactics in higher order logics (OCoLC)53481769 |
| Gpo Item No. |
0830-H-10 (online) |
| Sudoc No. |
NAS 1.26:2003-212448 |
|
