Tutorial Series of the FME Teaching Committee

FME’s Teaching Committee is launching a new tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorial will be held online via zoom.

Read more

Share

FME Annual General Meeting 2021

The Annual General Meeting of FME will take place online, May 6 2021.

Read more

Share

FM 2022/23: Call for Organisers

Call for Proposals
FM 2022/23: 25th International Symposium on Formal Methods
Autumn 2022/Spring 2023

Read more

Share

70th FME Meeting, 10 December 2020

The 70th Business Meeting of FME will take place December 10, 2020.

Read more

Share

CAVlinks

CAVlinks is a platform for students and researchers interested in computer-aided verification. The website aims to be an entry point for new students by presenting links to introductory and advanced study material in the areas relevant to CAV (e.g. logics, theoretical CS, and formal methods), by pointing to interesting events (e.g. workshops, student forums, conferences maintained in a public calendar), and by advertising mentoring possibilities.

Read more

Share

Book review: Logical Analysis of Hybrid Systems

André Platzer: Logical Analysis of Hybrid Systems

Springer, 2010, 426 pages, ISBN 978-3-642-14508-7
https://link.springer.com/book/10.1007%2F978-3-642-14509-4

Summary

This is an extensive book on deductive methods for hybrid systems’ verification, rooted in dynamic logic. The author develops both formal specification languages for hybrid systems and automated verification techniques based on them. The main focus is on the theoretical aspects of the approach, but implementation issues are also widely addressed, and a functioning tool is presented at the end of the book. It presents a powerful formalism for the specification and verification of hybrid systems, with a strong practical impact.

Read more

Share

New Survey Papers on Formal Methods

Two new survey papers offer complementary perspectives on the state of formal methods in 2020.

Read more

Share

Call for Nominations: FME Fellowship Award 2021

FME Fellowship Award

The nominations should be sent to info@fmeurope.org by 31st JANUARY 2021.

Established in 2015 and normally given every three years for technical achievements in advancing, applying, and promoting formal methods, the Formal Methods Europe (FME) Fellowship rewards scientific breakthroughs and pioneering work that have made a difference to the world through advances in formal methods.

Nominees are expected to have made significant contributions through solid theoretical work or practical impact in industry. The development of frameworks and tools, teaching formal methods, as well as publicising formal methods worldwide and attracting people to the community are additional criteria that can strengthen a nomination. All nominations have to be supported by concrete evidence.

Read more

Share

Book review: Contracts for System Design

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni- Vincentelli, Werner Damm, Thomas A. Henzinger and Kim G. Larsen: Contracts for System Design

now Publishers Inc., 2018, 296 pages, ISBN 978-1-68083-402-4
https://www.nowpublishers.com/article/Details/EDA-053

Summary

While a number of theoretical contract frameworks have been proposed in the literature, missing has been a formal statement of what is required in defining a contract theory. This book addresses that gap, presenting a thorough mathematical treatment of contracts with the development of a new meta-theory for contracts as the foundation. That meta-theory is used to provide an understanding of several contract frameworks, allowing the reader to see how each framework fits into the meta-theory and to assess similarities and differences between the individual frameworks.

Read more

Share

CfP FormaliSE 2021

Call for Papers
FORMALISE 2021: 9th International Conference
on Formal Methods in Software Engineering

co-located with ICSE 2021
17-21 May 2021
http://www.formalise.org
UPDATE: FormaliSE 2021 will be online, similar to ICSE 2021.

Read more

Share