2 citations · 2 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 2 cited
On Verifying Designs With Incomplete Specification
Eugene Goldberg
Incompleteness of a specification creates two problems. First, an implementation of may have some properties tha…
cs.LO2020
Generation Of A Complete Set Of Properties
Eugene Goldberg
One of the problems of formal verification is that it is not functionally complete due the incompleteness of specifications. An implementation meeting an incomplete specification m…