8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
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…