Cover Image

Industrial use of formal methods : formal verification /

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the tra...

Full description

Bibliographic Details
Other Authors:	Boulanger, Jean-Louis
Format:	eBook
Language:	English
Published:	London : Wiley, 2012.
Series:	ISTE.
Subjects:	Systems engineering > Data processing. Computer simulation. Formal methods (Computer science) Computer software > Verification. Nondestructive testing. Digital computer simulation. Computer programs > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Modeling and verification of real-time systems : formalisms and software tools /
Published: (2008)

Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)

Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
Published: (2006)

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

Data refinement : model-oriented proof methods and their comparison /
by: Roever, W. P. de (Willem Paul)
Published: (1998)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

Systems and software verification : model-checking techniques and tools /
Published: (2001)

Formal methods of program verification and specification /
Published: (1982)

An introduction to formal program verification /
by: Mili, Ali
Published: (1985)

Formal Verification and In-Situ Test of Analog and Mixed-Signal Circuits /
by: Yin, Leyi
Published: (2014)

Practical UVM : step by step with IEEE 1800.2 /
by: Vasudevan, Srivatsa
Published: (2020)

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

Principles of model checking /
by: Baier, Christel
Published: (2008)

Simulation and Modeling of Systems of Systems /
Published: (2011)

The UVM primer : an introduction to the Universal Verification Methodology /
by: Salemi, Ray
Published: (2013)

Agent-directed simulation and systems engineering /
Published: (2009)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Software validation, verification, testing, and documentation /
Published: (1986)

Guidelines for formal verification systems.
Published: (1989)

Scalable hardware verification with symbolic simulation /
by: Bertacco, Valeria
Published: (2006)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Verification, validation and testing in software engineering /
Published: (2007)

Verification, validation and testing in software engineering /
Published: (2007)

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
Published: (1999)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published: (2005)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Behavioral model equivalence checking for large analog mixed signal systems /
by: Singh, Amandeep
Published: (2012)

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

Formal methods : theory and practice /
Published: (1989)

Data flow analysis : theory and practice /
by: Khedker, Uday
Published: (2009)

Formal verification of hardware design /
by: Yoeli, Michael, 1917-
Published: (1990)

Formal methods for industrial critical systems /
Published: (2009)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)

Program verification /
by: Francez, Nissim
Published: (1992)

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
Published: (1997)