February 22-25, 2010
The object of this workshop is to share ideas, methods, and processes that are used to build tools supporting formal methods. Discussions may also deal with maintenance, documentation, licensing, etc. A significant challenge is how to better make these tools cooperate and share components (provers, model checkers, syntax analysers, type checkers, transformation rules, etc.).
The topics of interest for this workshop include, but are not limited to:
- Experience on the development of tools supporting formal methods:
- specification and design,
- choice of implementation languages and operating systems,
- reuse of existing components and platforms,
- documentation.
- Scalability of tools: research prototypes vs industrial strength tools
- Open source issues:
- open-platform for developing and sharing tool components (management of distributed teams, consistency),
- dealing with intellectual property: dissemination of research results vs intellectual property policies.
- Development in an academic environment:
- limited resources,
- rapid resource turnover,
- maintenance and support.
- Commercialization, licensing
- Tool certification
