From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Daniel Wasserrab
Publisher
KIT Scientific Publishing
ISBN / ASIN
3866445946
ISBN-13
9783866445949
Marketplace
France 🇫🇷
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
