Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Applications of Theorem Proving to Assertion Based Verification
Applications of Theorem Proving to Assertion Based Verification
Case for Support
Part 1: Previous research track record
[postscript | pdf ]
Part 2: Description of the proposed research
[postscript | pdf ]