Some questions about Larch

• To: larch-interest@pa.dec.com
• Subject: Some questions about Larch
• From: Noemie Slaats <ns@cage.rug.ac.be>
• Date: Thu, 19 Oct 1995 11:13:49 +0000 (WET)
• Delivery-Date: Thu, 19 Oct 95 03:35:57 -0700

Hi,
I'm Noemie Slaats and I read about Larch on internet.

I'm a PhD student in Gent, and I'm looking for a good theorem prover
which I can use in the area of formal specifications and verifications.
It is not clear to me if Larch is suited for this job.

I read about LP and although it is not an automated theorem prover 
it seems to be o good theorem prover. And when I'm not wrong this 
system contains more than just a metalanguage.
But now about the specification language. I don't understand completely
what this language does. Is this just a metalanguage and do you need to 
implement the object language yourself or is it a complete specifcation
language.
If it is possible I would like to get some more information about LCL and 
LSL.

Thanks a lot,
Noemie.

• Prev: Re: Some questions about Larch
• Next: Trip Report: IFIP WG 14.3, WADT11, COMPASS
• Index: Larch archive index