IDEs

Our work focuses on the application of formal methodologies and tools to practical software engineering, thus we frequently use and extend the richest tools available. We primarily use Eclipse and Emacs for our development platforms, but we will entertain the use of other technologies, sans Microsoft tools.