Cover Image
Read Now

2
Published 2018
Springer International Publishing
“... papers were carefully reviewed and selected from 110 submissions. They present formal methods...”
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 2021
Springer International Publishing
“...This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021...”
Cover Image
Read Now

5
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

6
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

7
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

8
Published 2018
Springer International Publishing
Table of Contents: “...Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
“...This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods...”
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 2008
Springer Berlin Heidelberg
“...This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods...”
Cover Image
Read Now

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

13
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Abstraction and Modelling: A Complementary Partnership -- Teaching Formal Methods...”
Cover Image
Read Now

15
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic...”
Cover Image
Read Now

16
Published 2011
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal...”
Cover Image
Read Now

17
Published 2013
Springer Berlin Heidelberg
“... Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented...”
Cover Image
Read Now

18
Published 2002
Springer Berlin Heidelberg
“...The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held...”
Cover Image
Read Now

19
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

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