Preface

Alexandre Mota, Arnaldo Moura
2005 Electronical Notes in Theoretical Computer Science  
The Brazilian Symposium on Formal Methods (SBMF) 2004 is the seventh of a series of events devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The previous six events were workshops held in SBMF has a very good reputation among the academics and research agencies in Brazil. It has also attracted the interest of international researchers, who have contributed as members of the Programme Committees, invited speakers,
more » ... nd authors of technical papers. The Special Comission on Formal Methods, created within the Brazilian Computer Society (SBC), is a continuous incentive for our community. In 2004, the Brazilian Symposium on Formal Methods was held jointly with the Pernambuco School on Software Engineering. This was an invaluable opportunity to bring together even more Formal Methods researchers of our community. These proceedings record the contributions from invited speakers and from the technical sessions. We present three invited papers, one extended abstract for invited speaker, and fifteen technical papers, selected out of forty-seven submissions. The programme committee includes leading researchers representing nine Brazilian institutions where there is active work in the area of formal methods. We also had the collaboration of researchers from Australia, France, England, Portugal, Germany, and the United States of America. Each of the forty-seven papers was evaluated by two-three reviewers. After the evaluation, reports were returned to all the reviewers for discussion and resolution of conflicts. Based on their recommendations, the steering commitee was also consulted, and selected the fifteen accepted papers that we present
doi:10.1016/j.entcs.2005.03.001 fatcat:yictpxwfzffovl72sfcd4uj744