8 citations · 8 across the 1 of their papers we have counts for
1 paper
David R. Cok, Scott C. Johnson
SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It…