Third International Symposium on
Automated
Technology for
Verification and Analysis
Taipei, Taiwan, October 4--7, 2005