Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.

James M. Morris, Mark Howard

Browse the full CAV paper archive.