Correct hardware by synthesis from pvs. Unpublished,” Available athttp://busserver.cs.uni-sb.de/publikationen/BJKL02.pdf (2002)

by S Beyer, C Jacobi, D Kroening, D Leinenbach