A Formal Verification Methodology for Checking Data Integrity.

Yasushi Umezawa Takeshi Shimizu A Formal Verification Methodology for Checking Data Integrity. 284-289 2004 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2005.15 db/conf/date/date2005.html#UmezawaS04a