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

☆☆☆☆☆
簡體網頁||繁體網頁

Spichkova, Maria

VDM Verlag Dr. Müller

2008-4-15

292

$ 125.43

Paperback

9783836494526

圖書標籤:

喜歡 Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

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

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-12-01

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

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

圖書描述

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 下載 mobi epub pdf txt 電子書