ATVA 2007 (2007 Tokyo, Japan)

• Automated technology for verification and analysis