Proceedings 1st Workshop on Formal Integrated Development Environment