Open AccessChecking Consistency of C and Verilog using Predicate Abstraction and Induction
Author(s) -
Edmund M. Clarke,
Daniel Kroening
Publication year - 2004
Publication title -
oxford university research archive (ora) (university of oxford)
Language(s) - English
Resource type - Reports
DOI - 10.21236/ada457879
Subject(s) - predicate abstraction , predicate (mathematical logic) , verilog , programming language , consistency (knowledge bases) , computer science , abstraction , model checking , artificial intelligence , embedded system , philosophy , epistemology , field programmable gate array
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom