Mo del Checking
and the
Mu calculus
E Allen Emerson
University of Texas at Austin Austin Tx USA
Abstract There is a growing recognition of the need to apply formal
mathematical metho ds in the design of high con dence computing
systems Such systems op erate in safety critical contexts e g air traf