Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned

Leonid Ryzhyk, Adam Walker

We summarise our experience developing and using Termite, the first reactive synthesis tool intended for use by software development practitioners. We identify the main barriers to…