1 citations · 1 across the 1 of their papers we have counts for
1 paper
Paschal C. Amusuo, Parth V. Patil, Owen Cochell +2
Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose…