Cover Image
Read Now

1
by Nielson, Flemming, Riis Nielson, Hanne
Published 2019
Springer International Publishing
“...This textbook is an introduction to the use of formal methods ranging from semantics of key...”
Cover Image
Read Now

2
Published 2021
Springer International Publishing
“...This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021...”
Cover Image
Read Now

3
Published 2023
Springer International Publishing
Table of Contents: “... -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints -- Formal Methods...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
“... papers were carefully reviewed and selected from 110 submissions. They present formal methods...”
Cover Image
Read Now

6
Published 2014
Springer International Publishing
“... Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers...”
Cover Image
Read Now

7
Published 2014
Springer International Publishing
Table of Contents: “... monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems...”
Cover Image
Read Now

8
Published 2017
Springer International Publishing
“... Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers...”
Cover Image
Read Now

9
Published 2019
Springer International Publishing
Table of Contents: “... in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system...”
Cover Image
Read Now

10
Published 2019
Springer International Publishing
“..., FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal...”
Cover Image
Read Now

11
Published 2016
Springer International Publishing
Table of Contents: “...Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic...”
Cover Image
Read Now

12
Published 2018
Springer International Publishing
“...This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods...”
Cover Image
Read Now

13
Published 2022
Springer International Publishing
Table of Contents: “...Invited Keynotes -- Formal Methods for Trusted Space Autonomy: Boon or Bane -- An Essence of Domain...”
Cover Image
Read Now

14
Published 2022
Springer International Publishing
“... Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short...”
Cover Image
Read Now

18
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”