Abbrevation
TBFM
City
Toulouse
Country
France
Deadline Paper
Start Date
End Date
Abstract
The object of TBFM is to share ideas, methods, processes, and best practices<br>that are used to build tools supporting formal methods. Discussions may also<br>deal with maintenance, documentation, licensing, etc. A significant challenge<br>is how to better make these tools cooperate and share components (provers,<br>model checkers, syntax analysers, type checkers, transformation rules, etc.).<br>Particular relevance will be given to dogfooding experiences, in which a<br>research group uses its own tool to design/develop/analyze the tool itself.<br>