Fixit is a tool for automatic program repair. Fixit! is a successor of Sycraft. Currently we are working on finite state transition programs, but it will be extended to support timed systems. It uses symbolic representation to work on big models with so many states. Two components that are we are adding to Fixit! are addition of confilicting properties, and repair of Cyber-physical program that are in presence of environment intervention.

You can find the theory behind Fixit! via conflicting research papers: