Skip to main content
UCSB SoC Design and Test Lab
Search form
Search
Main menu
Home
Members
Publications
Courses
Current Projects
You are here
Home
IChecker: An efficient checker for inductive invariants
Submitted by
superuser
on Mon, 04/06/2015 - 21:43
F. Lu
and
Cheng, K. - T. Tim
,
“
IChecker: An efficient checker for inductive invariants
”
, in
High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International
, 2006.
Google Scholar
BibTeX