International Conf on Computer Aided Verification, Boston, Vereinigte Staaten

Abbrevation

CAV

Link

http://www.dcs.warwick.ac.uk/CAV/

City

Boston

Country

United States

Deadline Paper

2004-01-01

Start Date

2004-07-13

End Date

2004-07-17

Abstract

CAV solicits papers about automated tools and techniques for hardware and software verification, and case studies and performance investigations. <b>Keywords:</b> automated tools and techniques for hardware and software verification