Neal Patel

icon location Mechanicsville, Virginia icon location University of Virginia CS & Statistics 2021

Results 1 issues of Neal Patel

Incomplete Function in binRelOnS.dfy

The 'apply' function under the BASIC PROPERTIES OF RELATIONS MORE GENERALLY is incomplete: function apply(x: T): set reads this; requires Valid(); ensures Valid(); { forall x :: x in }...