Title :
Table of contents
Abstract :
The following topics are dealt with: model checking; cloud computing; machine code; memory verification; formal method; software debugging; software testing; behavioural hardware verification; formal verification; arithmetic circuit; GPU; automated abstraction; concurrent software verification; SAT; and automated reduction.
Keywords :
cloud computing; computability; data reduction; digital arithmetic; formal verification; graphics processing units; memory architecture; program debugging; program testing; GPU; SAT; arithmetic circuit; automated abstraction; automated reduction; behavioural hardware verification; cloud computing; concurrent software verification; formal method; formal verification; machine code; memory verification; model checking; software debugging; software testing;
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2012
Conference_Location :
Cambridge
Print_ISBN :
978-1-4673-4832-4
