Larch

Keyphrases

Publications

1993

First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 Larch (1993)

1992

Gary Feldman, Joseph Wild
The DECspec Project: Tools for Larch/C. Larch (1992)
Yang Meng Tan
Semantic analysis of Larch Interface Specifications. Larch (1992)
Frédéric Voisin
A New Front-End for the Larch Prover. Larch (1992)
Michel Bidoit, Rolf Hennicker
How to Prove Observational Theorems with LP. Larch (1992)
Kevin D. Jones
A Semantics for a Larch/Modula-3 Interface Language. Larch (1992)
Gary T. Leavens, Yoonsik Cheon
Preliminary Design of Larch/C++. Larch (1992)
Christine Choppy, Michel Bidoit
Integrating ASSPEGIQUE and LP. Larch (1992)
Niels Mellergaard, Jørgen Staunstrup
Generating Proof Obligations for Circuits. Larch (1992)
John W. Baugh Jr.
Is Engineering Software Amenable to Formal Specification? Larch (1992)
Boutheina Chetali, Pierre Lescanne
An Exercise in LP: The Proof of a Non Restoring Division Circuit. Larch (1992)
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
Using Transformations and Verification in Circuit Design. Larch (1992)
Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. Larch (1992)
Mark T. Vandevoorde
Optimizing Programs with Partial Specifications. Larch (1992)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. Larch (1992)
Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski
Thoughts on a Larch/ML and a New Application for LP. Larch (1992)
Karl-Heinz Buth
Using SOS Definitions in Term Rewriting Proofs. Larch (1992)
E. A. Scott, K. J. Norrie
. Larch (1992)