Experience with the Larch Prover

Authors:
Jeannette M. Wing;Chun Gong
Affiliations:
School of Computer Science, Carnegie Mellon University, Pittsburgh, PA;School of Computer Science, Carnegie Mellon University, Pittsburgh, PA
Venue:
Conference proceedings on Formal methods in software development
Year:
1990

Citing 4
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
The C++ programming language

The C++ programming language
Inheritance of Synchronization and Recovery Properties in Avalon/C++

Computer
An overview of LP, the larch power

RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract