Call for papers

The object of TBFM 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.

Important Dates


Contributions should be submitted electronically in PDF at the TBFM 2014 EasyChair website. The papers should be around 10 pages and must be prepared using the Springer LNCS style.

Special Issue

As the last edition, we plan to have a special issue or a special section in an international journal.