SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications. particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose invariants and will incorporate published algorithms for inferring object and loop invariants. Though the architecture is language-neutral. https://www.opheliasmuse.com/