Process Algebra versus Axiomatic Specification of a Real-Time Protocol
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V
| Hi-index | 0.00 |
In this paper we report on the use of the Larch Prover to mechanize the correctness proof of a version of the Philips Audio Control Protocol.