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.

, , , ,
, , , ,
CWI
Department of Computer Science [CS]

Griffioen, W.O.D. (1995). Proof-checking an audio control protocol with LP. Department of Computer Science [CS]. CWI.