Computer aided verification : 18th international conference, CAV 2006, Seattle, Wa, USA, August 17-20, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line