The ASMETA framework
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra · 2012
The use of formal methods, based on rigorous mathematical foundations, is essential for system development. However, some skepticism exists against formal methods mainly due to the lack of tools supporting formal development, or to the tools ’ loosely coupling that does not allow reuse of information. The integration and interoperability of tools is