From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Security

By: Daniel Wasserrab

Write A Review

Paperback | 18 August 2014

At a Glance

Paperback
224 Pages

Dimensions(cm)
21.01 x 14.81 x 1.19

Paperback

$93.75

or 4 interest-free payments of $23.44 with

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.