1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Simon Lutz, Daniel Neider, Rajarshi Roy
Virtually all verification and synthesis techniques assume that the formal specifications are readily available, functionally correct, and fully match the engineer's understanding…