本本书屋

 本本书屋 logo

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle
☆☆☆☆☆
簡體網頁||繁體網頁

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle pdf epub mobi 著者簡介

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle pdf epub mobi 圖書描述

The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validation methodologies are treated as a single, joined, methodology with the main focus on the specification part. The key contributions of the thesis are + Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. "Focus on Isabelle" enables to validate and verify system specifications in a methodological way. + Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions. + Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle pdf epub mobi 圖書目錄

下載链接在页面底部


點擊這裡下載
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-07-06

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載


喜欢 Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 電子書 的读者还喜欢


Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle pdf epub mobi 讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價
出版者:VDM Verlag Dr. Müller
作者:Spichkova, Maria
出品人:
頁數:292
譯者:
出版時間:2008-4-15
價格:$ 125.43
裝幀:Paperback
isbn號碼:9783836494526
叢書系列:

圖書標籤:  

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle pdf epub mobi 用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 2024 pdf epub mobi 電子書 下載

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接


相關圖書



服務條款
聯繫我們
關於我們
隱私政策

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有