Re: mechanical program/system verification

• To: aaron@mmml.demon.co.uk
• Subject: Re: mechanical program/system verification
• From: horning
• Date: Mon, 21 Nov 94 10:27:10 -0800
• Cc: horning
• Delivery-Date: Mon, 21 Nov 94 10:27:22 -0800
• In-Reply-To: Message of Sun, 20 Nov 1994 16:58:20 +0000 from aaron@mmml.demon.co.uk

Aaron,

You can find quite a bit of relevant material by following links from the
Larch Home Page:

    http://larch-www.lcs.mit.edu:8001/larch/

including information on the tools LP (Larch Prover) and LCLint (Larch C
interface language Lint+).

And don't forget The World-Wide Web Virtual Library: Formal Methods:

    http://www.comlab.ox.ac.uk/archive/formal-methods.html

Jim H.

• Prev: LSL Calendar traits page ready
• Next: FWD: mechanical program/system verification request
• Index: Larch archive index