5 papers:
CAV-1998-SternD #in memory #memory management #using #verification- Using Magnatic Disk Instead of Main Memory in the Murphi Verifier (US, DLD), pp. 172–183.
- CAV-1997-SternD #verification
- Parallelizing the Murphi Verifier (US, DLD), pp. 256–278.
- CAV-1996-Dill #verification
- The Murphi Verification System (DLD), pp. 390–393.
- CAV-1996-IpD #component #verification
- Verifying Systems with Replicated Components in Murphi (CNI, DLD), pp. 147–158.
ICSE-1988-ChaLS #analysis #fault #safety #using #verification- Safety Verification in Murphy Using Fault Tree Analysis (SSC, NGL, TJS), pp. 377–387.
