archives

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:Adobe PDF
Postscript
HTML

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