We want to share our latest insights regarding formal methods and requirements as well as the latest developments regarding our OpenSource tools, ProB and ProR. We will post new information roughly twice a month, so you won't be overwhelmed. You can either subscribe via email (below), subsribe to our RSS Feed or visit this page.
Visit us in Braunschweig at Forms/Format
Submitted by Michael Jastram on Tue, 11/27/2012 - 12:37
We are happy to announce that we will be present at the conference FORMS/FORMAT in Braunschweig, both with a paper (and presentation) and a tool exhibition. The paper is entitled "A Systems Engineering Tool Chain Based on Eclipse and Rodin".
We'd be delighted to see you there.
Would you like to get regular updates from us, regarding relevant information about the industrial use of requirements and formal methods? Then we invite you to subsribe to our newsletter.