Jan Friso Groote and Mohammad Reza Mousavi: Modeling and Analysis of Communicating Systems

MIT Press, 2014, ISBN 978-0-262-02771-7,
https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems

Summary

The book Modeling and Analysis of Communicating Systems by Jan Friso Groote and Mohammad Reza Mousavi introduces the foundations for modeling concurrent systems as transition systems, the key notions of equivalence and of bi-simulation between transition systems, and their use in the specification and verification system mCRL2. Though rooted in the mCRL2 technique, the book presents general principles that should be of interest not only for readers who want to learn about mCRL2, but also for readers interested in general in modeling and verification of complex systems.

Read more

FormaliSE 2020 keynote: Corina Pasareanu

FormaliSE 2020 was organised as a 1-day virtual conference co-located with ICSE on July 13, 2020. The main objective of FormaliSE is to foster the integration between the formal methods and the software engineering communities, to strengthen the – still too weak – links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. We here bring you a keynote from Formalise 2020, given by Corina Pasareanu: On the Probabilistic Analysis of Neural Networks.

Read more

FormaliSE 2020 keynote: Shahar Maoz

FormaliSE 2020 was organised as a 1-day virtual conference co-located with ICSE on July 13, 2020. The main objective of FormaliSE is to foster the integration between the formal methods and the software engineering communities, to strengthen the – still too weak – links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. We here bring you a keynote from Formalise 2020, given by Shahar Maoz: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers

Read more

Read more

The Annual General Meeting of FME will take place online, April 9 2020.

Read more

Are you interested in what is going on in the FM community?

We interviewed some keynote speakers of the conferences at the Formal Methods World Congress 2019 about the topics they are working on in formal methods, about current challenges and about their advice for young researchers.

Read more

Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL

Springer Verlag, 2014, ISBN 978-3-319-10542-0, http://www.concrete-semantics.org/

Summary

The book Concrete Semantics with Isabelle/HOL by Tobias Nipkow and Gerwin Klein introduces students to higher-order logic (HOL) and theorem proving in Isabelle and to semantics of imperative programming languages. The book uses the Isabelle proof assistant and comes with supporting material including slides, exercises, Isabelle theories and a PDF of the book itself, all available at http://concrete-semantics.org

Read more

The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by June Andronick.

Did you ever wonder what June talked about at FM2019?

Read more

The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by Erik Poll.

Did you ever wonder what Erik talked about at FM2019?

Read more

The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by Shriram Krishnamurthi.

Did you ever wonder what Shriram talked about at FM2019?

Read more