From Formal Semantics to Verified Slicing : 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...

Full description

Bibliographic Details

Main Author:	Wasserrab, Daniel
Format:	Online
Language:	English
Published:	KIT Scientific Publishing 2021
Subjects:	QA75.5-76.95 Formal Semantics Slicing Theorem Proving Language Based Security Modularity bic Book Industry Communication::U Computing & information technology::UY Computer science
Online Access:	35028
Tags:	Add Tag No Tags, Be the first to tag this record!