From Formal Semantics to Verified Slicing

Name: From Formal Semantics to Verified Slicing
Brand: Karlsruher Institut Fur Technologie
SKU: 9783866445949
Price: 177.5 RON
Availability: InStock

A Modular Framework with Applications in Language Based Security

Autor: Daniel Wasserrab

Limbă:

Legare: Carte broșată

Editura: Karlsruher Institut Fur Technologie

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

177.50 lei

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is base...

Informații despre carte

Autor

Daniel Wasserrab

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

224

EAN

9783866445949

Enbook ID

01877555

Editura

Karlsruher Institut Fur Technologie

Greutate

272

Dimensiuni

148 x 210 x 12

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Security

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și