SPEEDY: An Eclipse-based IDE for invariant inference

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…