Larch Frequently Asked Questions

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Leavens, Gary T. (2001) Larch Frequently Asked Questions.

Full text available as:

Abstract

This document is a list of frequently asked questions (FAQ) and their answers for the Larch family of specification languages. It is intended to be useful to those who are new to Larch, especially to students and others trying to understand and apply Larch. However, there is some material that is also intended for experts in other formal methods who would like to learn more about Larch.

Keywords:	Larch, frequently asked questions, FAQ, formal specification, formal verification, formal methods, Larch Shared Language, LSL, Larch Prover, LP, theorem proving, behavioral interface specification language, precondition, postcondition
Subjects:	Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1) Software: SOFTWARE ENGINEERING (K.6.3): Design Tools and Techniques Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1) Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3) Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1) Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: Mathematical Logic (F.1.1, I.2.2-4) Theory of Computation: MATHEMATICAL LOGIC AND FORMAL LANGUAGES: Grammars and Other Rewriting Systems (D.3.1)
ID code:	00000244
Deposited by:	Gary T. Leavens on 03 August 2001
Alternative Locations:	http://www.cs.iastate.edu/~leavens/larch-faq.html ftp://ftp.cs.iastate.edu/pub/larch/larch-faq.html ftp://ftp.cs.iastate.edu/pub/larch/larch-faq.txt.gz ftp://ftp.cs.iastate.edu/pub/larch/larch-faq.ps.gz ftp://ftp.cs.iastate.edu/pub/larch/larch-faq.info.tar.gz

Contact site administrator at: ssg@cs.iastate.edu