Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)

FormSERA is the Formal Methods in Software Engineering: Rigorous and Agile Approaches workshop. We had a total of sixteen submissions, of which eight were accepted after a rigorous review procedure; leaving us with a paper acceptance rate of 50%. The workshop addresses the use of formal methods in software development practice. Formal methods differ from many software engineering techniques in that they demand and exploit a mathematically rigorous semantic basis for the tools and notations used. Such sound foundations permit the analysis of software engineering artifacts to a depth, and with a degree of automation, that is otherwise impossible to achieve