Preface to the special issue on Formal Methods: Foundations and Applications

摘要

To promote opportunities for researchers with an interest in formal methods to discuss their recent advances. This was the aim of the 21st edition of the Brazilian Symposium on Formal Methods (SBMF), a venue for the dissemination of the development and use of formal methods for building high-quality computational systems. The symposium is an established international event; its first edition took place in 1998. Its 21st was held in Salvador, Brazil, between November 26th and 30th, 2018, and attracted 30 full submissions from 15 different countries, of which 14 were accepted for presentation.