Talk:Functional verification

June 17, 2010

Hi there: Please notice two drafts papers: 1)http://inproperinla.com/10-06-17-paper%232-courts-draft-%235--s.pdf 2) http://inproperinla.com/10-06-17-paper%231-jails-draft-%235-s.pdf

Any suggestions regarding applications of functional verification in these systems would be appreciated. 84.108.104.7 (talk) 06:41, 17 June 2010 (UTC)