Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Hengjun Zhao / Naijun Zhan / Shuling Wang

160,80 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2018
ISBN:
9783319836386
160,80 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.  Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Artículos relacionados

  • CLOUD TO EDGEWARE
    BROOKS TYSON T / TYSON T BROOKS
    This comprehensive book presents a new approach to dynamic distributed virtual systems. Wireless grids edgeware promises new cloud to edge secure architectures with mobile security for the Internet of Things (IoT). The scope covers framworks and models for wireless grids edgeware, as well as open specifications and new applications called gridlets and wiglets.The book also high...
    Disponible

    176,51 €

  • Solutions Architect’s Handbook - Third Edition
    Neelanjali Srivastav / Saurabh Shrivastava
    From fundamentals and design patterns to the latest techniques such as generative AI, machine learning and cloud native architecture, gain all you need to be a pro Solutions Architect crafting secure and reliable AWS architecture.Key Features:- Hits all the key areas -Rajesh Sheth, VP, Elastic Block Store, AWS- Offers the knowledge you need to succeed in the evolving landscape ...
    Disponible

    84,87 €

  • Generative AI for Cloud Solutions
    Anurag Karuparti / Paul Singh
    Explore Generative AI, the engine behind ChatGPT, and delve into topics like LLM-infused frameworks, autonomous agents, and responsible innovation, to gain valuable insights into the future of AI Key FeaturesGain foundational GenAI knowledge and understand how to scale GenAI/ChatGPT in the cloudUnderstand advanced techniques for customizing LLMs for organizations via fine-tunin...
    Disponible

    72,54 €

  • Segurança De Serviços Em Nuvem Na Prática
    Hélio Watanabe
    Segurança de Serviços em Nuvem na Prática: utilizando a ISO 27017 em empresas no Brasilé um guia prático voltado para a implementação de medidas de segurança da informação em serviços de nuvem, com foco nas particularidades do mercado brasileiro.O livro aborda a importância crescente da computação em nuvem e os desafios associados à sua segurança, introduzindo a norma ISO/IEC 2...
    Disponible

    11,39 €

  • The Habits of Great Developers
    Tom Henricksen
    Developers want great results and must focus on the small habits.Don’t you wish someone asked great developers how they do it? Tom Henricksen has reached out to leading coders and compiled their advice into one place.Here are some of the people whom he worked with:David FarleyWoody ZuillDoc NortonGeePaw HillDavid NealAndrew StellmanLuca RossiTom has distilled down the small ste...
    Disponible

    17,79 €

  • Enterprise Architects
    Svyatoslav Kotusev
    Enterprise architects are specialized industry professionals responsible for leading joint business and IT planning in organizations, thereby enabling the success of their digital transformation efforts. Despite their immediate relevance to today’s ubiquitous digitalization tendencies, the very presence of enterprise architects, as unique organizational characters, is largely u...
    Disponible

    85,82 €

Otros libros del autor

  • Formal Verification of Simulink/Stateflow Diagrams
    Hengjun Zhao / Naijun Zhan / Shuling Wang
    This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.  Readers will learn the HCSP/HHL-based deductive method and the use of correspondin...
    Disponible

    159,45 €