Formal Methods

Industrial Use from Model to the Code



Bookstore > Books > Formal Methods

Price$109.73 - $194.46
Rating
AuthorJean-Louis Boulanger
PublisherWiley
Published2012
Pages384
LanguageEnglish
FormatPaper book / ebook (PDF)
ISBN-10184821362X
ISBN-139781848213623
EBook Hardcover Paperback

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.

Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of "formal methods" (such as proof and model-checking) in industrial examples within the transportation domain.



Similar Books


Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

by Zhiming Liu, Jim Woodcock, Huibiao Zhu

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Comput...

Price:  $65.14  |  Publisher:  Springer  |  Release:  2013

Veracity of Big Data

Veracity of Big Data

by Vishnu Pendyala

Examine the problem of maintaining the quality of big data and discover novel solutions. You will learn the four V's of big data, including veracity, and study the problem from various angles. The solutions discussed are drawn from diverse areas of engineering and math, including machine learning, statistics, formal methods, and the ...

Price:  $32.99  |  Publisher:  Apress  |  Release:  2018

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related sec...

Price:  $112.14  |  Publisher:  Wiley  |  Release:  2011

Unifying Theories of Programming and Formal Engineering Methods

Unifying Theories of Programming and Formal Engineering Methods

by Zhiming Liu, Jim Woodcock, Huibiao Zhu

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics su...

Price:  $59.64  |  Publisher:  Springer  |  Release:  2013

Introduction to Financial Mathematics

Introduction to Financial Mathematics

by Arash Fahim

Introduction to Financial Mathematics: Concepts and Computational Methods serves as a primer in financial mathematics with a focus on conceptual understanding of models and problem solving. It includes the mathematical background needed for risk management, such as probability theory, optimization, and the like. The goal of the book is to...

Free ebook  |  Publisher:  Self-publishing  |  Release:  2019

Algorithmics, 3rd Edition

Algorithmics, 3rd Edition

by David Harel, Yishai Feldman

The best selling 'Algorithmics' presents the most important, concepts, methods and results that are fundamental to the science of computing. It starts by introducing the basic ideas of algorithms, including their structures and methods of data manipulation. It then goes on to demonstrate how to design accurate and efficient algo...

Price:  $72.98  |  Publisher:  Addison-Wesley  |  Release:  2004

Successful Project Management: Applying Best Practices and Real-World Techniques with Microsoft Project

Successful Project Management: Applying Best Practices and Real-World Techniques with Microsoft Project

by Bonnie Biafore

Learn best practices and proven methods from project management professionals - and apply these skills as you work with Microsoft Project. In this practical guide, project management expert Bonnie Biafore shows you how to manage projects efficiently and effectively, sharing the real-world experiences of project managers in several industr...

Price:  $17.67  |  Publisher:  O'Reilly Media  |  Release:  2011

Combining Pattern Classifiers, 2nd Edition

Combining Pattern Classifiers, 2nd Edition

by Ludmila I. Kuncheva

A unified, coherent treatment of current classifier ensemble methods, from fundamentals of pattern recognition to ensemble feature selection, now in its second editionThe art and science of combining pattern classifiers has flourished into a prolific discipline since the first edition of Combining Pattern Classifiers was published in 2004...

Price:  $97.16  |  Publisher:  Wiley  |  Release:  2014