1 option
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
- Format:
- Book
- Author/Creator:
- Wasserrab, Daniel
- Language:
- English
- Physical Description:
- 1 online resource (XIX, 203 p. p.)
- Other Title:
- From Formal Semantics to Verified Slicing
- Place of Publication:
- KIT Scientific Publishing 2011
- Language Note:
- English
- Summary:
- 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.
- ISBN:
- 1000020678
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.