Theorem Proving in Specware:
Release Notes

T. C. Wang, Li-Mei Gilham,
Lee Blaine, Rafe Furst, Richard Waldinger

July 15, 1996




Specware is a production of Kestrel Institute and Kestrel Development Corp.



For information please contact:
Email: specware-request@kestrel.edu

Specware Webpage

SpecWeb Index

• When are theorems proved?
• Axiom Lists and Conjectures.
  • Example: Collection
  • Example: Sack
  • Bag into Sequence
• Guiding the theorem prover
  • Customize
    • Select Conjectures to Verify?
    • Specify Proof Directives
    • Specify Proof Tactic
    • Specify theorem usage as default
  • Prover Options
    • Set Specware Proof Options
    • Set Prover Display Options
  • Postponed Verification
• Sample Sessions
• Index