From Formal Semantics to Verified Slicing

Name: From Formal Semantics to Verified Slicing
Brand: Karlsruher Institut Fur Technologie
SKU: 9783866445949
Price: 34.01 EUR
Availability: InStock

A Modular Framework with Applications in Language Based Security

Автор: Daniel Wasserrab

Език:

Корици: С меки корици

Издател: Karlsruher Institut Fur Technologie

Наличност: Външен склад

Изпращаме след 8-11 дни

34.01 € 66.52 лв

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is base...

Информация за книгата

Автор

Daniel Wasserrab

Език

Английски език

Корици

Книга - С меки корици

Издадена

2014

страници

224

EAN

9783866445949

Enbook ID

01877555

Издател

Karlsruher Institut Fur Technologie

Теглоt

272

Размери

148 x 210 x 12

Пълно описание

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Security

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също