21 citations · 52 across the 12 of their papers we have counts for
1 paper · 1 filter
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…