Search alternatives:
"formal method" » "formal methods"
Cover Image
Read Now

2
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

3
Published 2018
Springer International Publishing
“... papers were carefully reviewed and selected from 110 submissions. They present 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
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

6
Published 2008
Springer Berlin Heidelberg
“...This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods...”
Cover Image
Read Now

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

9
Published 2009
Springer Berlin Heidelberg
“... Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers...”
Cover Image
Read Now

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

11
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

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

13
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal...”
Cover Image
Read Now

16
Published 2019
Springer International Publishing
“... Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers...”
Cover Image
Read Now

17
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

18
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

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