Penelope: An Ada Verification Environment, Penelope User Guide: Guide to the Penelope Editor. Volume 5B

Abstract

We present an introduction to using the Penelope verification environment under X windows (v.10). The user is led step by step through the verification of a simple program, including the steps of invoking Penelope, editing a program, and using the commands in Penelope. Ada, Larch, Larch/Ada, Formal methods, Formal specification, Program verification, Predicate transformers, Ada verification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1991
Accession Number
ADA249419

Entities

People

  • C. D. Harper

Tags

Communities of Interest

  • Advanced Electronics
  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Application Software
  • Command And Control
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Department Of Defense
  • Environment
  • High Level Languages
  • Language
  • Operating Systems
  • Programming Languages
  • Specifications
  • Strategic Defense Initiative
  • Verification

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science.
  • Software Verification and Validation.