Book Review: Functional Algorithms, Verified!

Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan: Functional Algorithms, Verified!

Freely downloadable: https://functional-algorithms-verified.org/

Summary

The book Functional Algorithms, Verified! presents a number of classical functional data structures, accompanying each of them with formal specifications. These specifications describe both the functional correctness and the time complexity of every operation, emphasizing the notion of interface for an abstract data type. The book can be seen as a way to augment a course on functional data structures with an introduction to formal specifications.

Read more

Share

74th FME Meeting, 12 December 2022

The 74th Business Meeting of FME will take place December 12, 2022.

Read more

Share

CfP FormaliSE 2023

Call for Papers
FORMALISE 2023

11th International Conference on Formal Methods in Software Engineering
co-located with ICSE 2023

14-15 May 2023, Melbourne, Australia
http://www.formalise.org

Read more

Share

Book review: Decision Procedures – An Algorithmic Point of View

Daniel Kroening and Ofer Strichman: Decision Procedures – An Algorithmic Point of View

Springer, 2016, 356 pages, ISBN 978-3-662-57065-4
https://www.springer.com/gp/book/9783662504963

Summary

This book, entitled Decision Procedures – An Algorithmic Point of View, successfully describes and explains algorithmic solutions to decision problems. It is well-suited for use as a textbook and as a developer reference. The book precisely describes a series of algorithms used by decision procedures and also includes many worked out examples accompanied by a library that includes implementations of the algorithms.

Read more

Share

FME Annual General Meeting 2022

The Annual General Meeting of FME will take place as a hybrid meeting at the iFM Conference in Lugano, Switzerland, June 9 2022.

Read more

Share

Book review: Formal Methods: an appetizer

Flemming Nielson and Hanne Riis Nielson: Formal Methods: an appetizer

Springer, 2019, 160 pages, ISBN 978-3-030-05155-6
https://link.springer.com/book/10.1007/978-3-030-05156-3

Summary

Teaching and convincing practitioners to adopt formal methods in system engineering is admittedly still a challenge. This book aims at generating “appetite” in undergraduate students by introducing some classical formal methods trying to rely on intuition, simple examples, and a “metaformalism” rooted in graph theory which is better known than more sophisticated mathematics at the undergraduate level. The selected areas of application of formal methods are language semantics and program verification. The exposition is generally clear although the adopted notation is sometimes mathematically heavy.

Read more

Share

FM 2023: Announcement

Announcement:
FM 2023: 25th International Symposium on Formal Methods

Lübeck, Germany, March 7-9, 2023
https://fm2023.isp.uni-luebeck.de

Read more

Share

Tutorial Series of the FME Teaching Committee 2022

The FME Teaching Committee’s tutorial series is returning for 2022. So far, there are three tutorials planned, each delivered a different expert in teaching Formal Methods. The tutorials will be delivered online, via zoom.

Read more

Share

FME Fellowship Awarded to Prof. Dines Bjørner

Prof. Dines Bjørner, professor emeritus of computer science at the Technical University of Denmark (DK), has been awarded the FME Fellowship 2021. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.

Read more

Share

CfP FormaliSE 2022

Call for Papers
FORMALISE 2022

9th International Conference on Formal Methods in Software Engineering
co-located with ICSE 2022

22-23 May 2022, Pittsburgh, PA
http://www.formalise.org

Read more

Share