Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:EVASTAR-Karlsruhe.de:1000020678

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Authors
Publication date
1 January 2011
Publisher
KIT Scientific Publishing, Karlsruhe
Doi

    Abstract

    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

    Similar works

    Full text

    thumbnail-image

    This paper was published in KITopen.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.