Search Results - formal verification

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Verification techniques for system-level design

    Verification techniques for system-level design by Fujita, Masahiro, 1956-

    Published 2008
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Formal method industrial use from model to the code /

    Formal method industrial use from model to the code /

    Published 2012
    Table of Contents: “…From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:

Search Tools: