Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Larch_Prover> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Larch_Prover abstract "Larch Prover, or LP for short, is an interactive theorem proving system for multisorted first-order logic. It is currently used at MIT and elsewhere to reason about designs for circuits, concurrent algorithms, hardware, and software. Unlike most theorem provers, which attempt to find proofs automatically for correctly stated conjectures, LP is intended to assist users in finding and correcting flaws in conjectures — the predominant activity in the early stages of the design process.LP works efficiently on large problems, has many important user amenities, and can be used by relatively naïve users. It was developed and is being maintained by Stephen J. Garland and John V. Guttag at the MIT Laboratory for Computer Science.".
- Larch_Prover wikiPageExternalLink overview.html.
- Larch_Prover wikiPageID "1207000".
- Larch_Prover wikiPageRevisionID "484726200".
- Larch_Prover hasPhotoCollection Larch_Prover.
- Larch_Prover subject Category:Theorem_proving_software_systems.
- Larch_Prover comment "Larch Prover, or LP for short, is an interactive theorem proving system for multisorted first-order logic. It is currently used at MIT and elsewhere to reason about designs for circuits, concurrent algorithms, hardware, and software.".
- Larch_Prover label "Larch Prover".
- Larch_Prover sameAs m.04h929.
- Larch_Prover sameAs Q6488769.
- Larch_Prover sameAs Q6488769.
- Larch_Prover wasDerivedFrom Larch_Prover?oldid=484726200.
- Larch_Prover isPrimaryTopicOf Larch_Prover.