Modeling of ALFA Programs Using PVS Theorem Prover. - Shimmi Asokan; G. Santhosh Kumar; N. Jaya Lal (ARTCom, 2009)