Larch family
The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior.
Wikipage disambiguates
Wikipage redirect
primaryTopic
Larch family
The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the formulation of proofs about program behavior.
has abstract
The Larch family of formal spe ...... cluding the Larch Prover (LP).
@en
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,019,803,295
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
The Larch family of formal spe ...... proofs about program behavior.
@en
label
Larch family
@en