Name: From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security:
SKU: 63266890
Price: 1421.00 TWD
Availability: InStock
Author: Daniel Wasserrab
ISBN: 9783866445949

portada From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security:

From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security:

Type

Physical Book

Publisher

Kit Scientific Publishing

Author

Daniel Wasserrab

Language

English

Pages

224

Format

Paperback

ISBN13

9783866445949

From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security:

Daniel Wasserrab (Author) · Kit Scientific Publishing · Paperback

Cheaper New Book Imported to Taiwan

Delivery: 04 Nov - 12 Nov

NT$ 1,421

Faster New Book Imported to Taiwan

Delivery: 23 Oct - 02 Nov

NT$ 1,601

NT$ 1,421

Add to Wishlist

Synopsis "From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security:"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security: - Daniel Wasserrab

Synopsis "From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security:"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery