Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach A Deductive Approach
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Naijun Zhan
Shuling Wang
Co-auteur:
Hengjun Zhao
- Engels
- Paperback
- 9783319836386
- 29 juni 2018
- 258 pagina's
Samenvatting
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.
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.
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 29 juni 2018
- Aantal pagina's
- 258
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Naijun Zhan
- Tweede Auteur
- Shuling Wang
- Co Auteur
- Hengjun Zhao
- Hoofduitgeverij
- Springer
Overige kenmerken
- Editie
- Softcover reprint of the original 1st ed. 2017
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 156 mm
- Verpakking hoogte
- 235 mm
- Verpakking lengte
- 230 mm
- Verpakkingsgewicht
- 189 g
EAN
- EAN
- 9783319836386
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Beschikbaarheid
- Leverbaar
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Kies je bindwijze
(2)
Prijsinformatie en bestellen
De prijs van dit product is 124 euro en 99 cent. De meest getoonde prijs is 131 euro en 99 cent. Je bespaart 5%.
Je bespaart 5%
Uiterlijk 14 juni in huis
Verkoop door
Roelants
- Bestellen en betalen via bol
- Prijs inclusief verzendkosten, verstuurd door Roelants
- 30 dagen bedenktijd en gratis retourneren
- Wettelijke garantie via Roelants
Shop dit artikel
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.