62 citations · 72 across the 4 of their papers we have counts for
1 paper · 2 filters
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…