Электронная книга: Jean-Louis Boulanger «Industrial Use of Formal Methods. Formal Verification»

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 transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Издательство: "John Wiley&Sons Limited"

ISBN: 9781118587904

электронная книга

Купить за 12483.68 руб и скачать на Litres

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Static Analysis of Software. The Abstract InterpretationThe existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal… — John Wiley&Sons Limited, электронная книга Подробнее...13970.48электронная книга
Formal Methods. Industrial Use from Model to the CodeAlthough 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… — John Wiley&Sons Limited, электронная книга Подробнее...12483.68электронная книга
Safety of Computer ArchitecturesIt is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial… — John Wiley&Sons Limited, электронная книга Подробнее...10848.59электронная книга
Formal Methods Applied to Industrial Complex Systems. Implementation of the B MethodThis book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and… — John Wiley&Sons Limited, электронная книга Подробнее...15516.57электронная книга
Safety Management of Software-based EquipmentA review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to… — John Wiley&Sons Limited, электронная книга Подробнее...7794.92электронная книга
Formal Methods Applied to Industrial Complex SystemsA presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive… — John Wiley&Sons Limited, электронная книга Подробнее...14748.07электронная книга
CENELEC 50128 and IEC 62279 StandardsCENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be… — John Wiley&Sons Limited, электронная книга Подробнее...10810.32электронная книга

Look at other dictionaries:

  • Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… …   Wikipedia

  • Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… …   Wikipedia

  • Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually …   Wikipedia

  • Comte and positivism — Robert Brown COMTE’S AIMS The chief aim of all of Auguste Comte’s publications, and the constant mission of his entire working life, was the improvement of human character through the perfecting of human society. He was convinced that the… …   History of philosophy

  • Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… …   Wikipedia

  • Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release …   Wikipedia

  • History of science — History of science …   Wikipedia

  • Outline of science — The following outline is provided as an overview of and topical guide to science: Science – in the broadest sense refers to any system of objective knowledge. In a more restricted sense, science refers to a system of acquiring knowledge based on… …   Wikipedia

  • Carbon sequestration — is the capture of carbon dioxide (CO2) and may refer specifically to: The process of removing carbon from the atmosphere and depositing it in a reservoir. [1] When carried out deliberately, this may also be referred to as carbon dioxide removal,… …   Wikipedia

  • Electronic design automation — (EDA) is the category of tools for designing and producing electronic systems ranging from printed circuit boards (PCBs) to integrated circuits. This is sometimes referred to as ECAD (electronic computer aided design) or just CAD. (Printed… …   Wikipedia

  • Digital electronics — Main articles: Electronics and Electronic circuit Digital electronics represent signals by discrete bands of analog levels, rather than by a continuous range. All levels within a band represent the same signal state. Relatively small changes to… …   Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.