Scope of the Workshop
The object of this workshop is to share ideas, methods, processes, and best practices 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.). Particular relevance will be given to dogfooding experiences, in which a research group uses its own tool to design/develop/analyze the tool itself.
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
Journal Special Issue
An extended version of a selected number of contributions will be published in a special issue of the International Journal on Software Tools for Technology Transfer.Previous Editions
First edition of the workshop (TBFM 2010) was held in conjunction with the 2nd International ABZ Conference in 2010