Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach /: A Deductive Approach. (2017)

• Record Type: Book
• Further Information: Note: By Naijun Zhan, Shuling Wang, Hengjun Zhao.
• Authors: Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
• Other Names: École nationale supérieure des beaux-arts (France)
• Contents: 1 Introduction -- 2 Preliminaries -- 3 Unifying Theories of Programming -- 4 Simulink -- 5 Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9 Invariant Generation -- 10 Translating Simulink Diagrams into HCSP -- 11 Translating Simulink/Stateflow Diagrams into HCSP -- 12 From HCSP to Simulink -- 13 MARS A Toolkit for Modelling, Analysis and Verification of Hybrid Systems -- 14 Case Studies.
• Publisher Details: Cham : Springer International Publishing Imprint: Springer
• Publication Date: 2017
• Extent: 1 online resource, illustrations
• Subjects: 621.3815; Engineering; Microprocessors; Electronic circuits; Engineering; Circuits and Systems; Processor Architectures; Electronic Circuits and Devices; Computer simulation; Stateflow; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- Circuits -- General; Computer architecture & logic design; Circuits & components; Systems engineering; Computer science; Electronic books
• Languages: English
• ISBNs: 3319470167; 9783319470160
• Notes: Note: Includes bibliographical references and index.; Note: Description based on print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.