From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security
Book Details
Author(s)
Daniel Wasserrab
Publisher
KIT Scientific Publishing
ISBN / ASIN
3866445946
ISBN-13
9783866445949
Availability
Usually ships in 24 hours
Sales Rank
#13,106,680
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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 resul
