Kapak Resmi

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...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Wasserrab, Daniel (auth)
Materyal Türü:	Elektronik Kitap Bölümü
Dil:	İngilizce
Baskı/Yayın Bilgisi:	KIT Scientific Publishing 2011
Konular:	Formal Semantics Slicing Theorem Proving Language Based Security Modularity
Online Erişim:	DOAB: download the publication DOAB: description of the publication
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14
Baskı/Yayın Bilgisi: (2017)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Yazar:: Amal Ahmed
Baskı/Yayın Bilgisi: (2018)

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Yazar:: Lochbihler, Andreas
Baskı/Yayın Bilgisi: (2012)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Yazar:: Ahmed, Amal
Baskı/Yayın Bilgisi: (2018)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Yazar:: Ahmed, Amal
Baskı/Yayın Bilgisi: (2018)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Yazar:: Ugo Dal Lago
Baskı/Yayın Bilgisi: (2018)

Verification-based software-fault detection
Yazar:: Gladisch, Christoph David
Baskı/Yayın Bilgisi: (2011)

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Yazar:: Weiß, Benjamin
Baskı/Yayın Bilgisi: (2011)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Baskı/Yayın Bilgisi: (2018)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Baskı/Yayın Bilgisi: (2018)

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Yazar:: Breitner, Joachim
Baskı/Yayın Bilgisi: (2016)

Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
Yazar:: Mohr, Martin
Baskı/Yayın Bilgisi: (2023)

Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
Yazar:: Mohr, Martin
Baskı/Yayın Bilgisi: (2023)

Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14
Yazar:: Balogh, Kata
Baskı/Yayın Bilgisi: (2017)

Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14
Yazar:: Balogh, Kata
Baskı/Yayın Bilgisi: (2017)

Model Transformation Languages with Modular Information Hiding
Yazar:: Rentschler, Andreas
Baskı/Yayın Bilgisi: (2015)

Methodik eines holistischen Variantenmanagements modularer Produktfamilien - Grundlagen, Systematik und beispielhafte Anwendung der VMahead Methodik
Yazar:: Weiser, Ann-Katrin
Baskı/Yayın Bilgisi: (2018)

Relational exploration. Combining description logics and formal concept analysis for knowledge specification
Yazar:: Rudolph, Sebastian
Baskı/Yayın Bilgisi: (2007)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Baskı/Yayın Bilgisi: (2021)

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Yazar:: Ralf Küsters
Baskı/Yayın Bilgisi: (2018)

Modular adaptive mikrooptische Systeme in Kombination mit Mikroaktoren
Yazar:: Schüle, Sven
Baskı/Yayın Bilgisi: (2010)

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Baskı/Yayın Bilgisi: (2018)

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Baskı/Yayın Bilgisi: (2018)

Development of a completely decentralized control system for modular continuous conveyors
Yazar:: Mayer, Stephan H.
Baskı/Yayın Bilgisi: (2009)

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Yazar:: Hammer, Christian
Baskı/Yayın Bilgisi: (2009)

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Baskı/Yayın Bilgisi: (2023)

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Baskı/Yayın Bilgisi: (2023)

Home not Shelter! - Ein modularer Gemeinschaftsraum Ein prototypisches Realisierungsprojekt zur räumlichen Erweiterung von Gemeinschaftsunterkünften für Geflüchtete
Baskı/Yayın Bilgisi: (2021)

Home not Shelter! - Ein modularer Gemeinschaftsraum Ein prototypisches Realisierungsprojekt zur räumlichen Erweiterung von Gemeinschaftsunterkünften für Geflüchtete
Baskı/Yayın Bilgisi: (2021)

Specification and verification of object-oriented software components
Yazar:: Roth, Andreas
Baskı/Yayın Bilgisi: (2006)

Explorations in Semantic Parallelism
Yazar:: J. Fox, James
Baskı/Yayın Bilgisi: (2014)

Explorations in Semantic Parallelism
Yazar:: J. Fox, James
Baskı/Yayın Bilgisi: (2014)

Advances in Proof-Theoretic Semantics
Baskı/Yayın Bilgisi: (2016)

Semantic technologies for distributed information systems
Yazar:: Haase, Peter
Baskı/Yayın Bilgisi: (2007)

Modularity and Twinning in Mineral Crystal Structures
Baskı/Yayın Bilgisi: (2021)

Biological Ontologies and Semantic Biology
Yazar:: John Hancock
Baskı/Yayın Bilgisi: (2014)

Inquisitive Semantics
Yazar:: Ciardelli, Ivano
Baskı/Yayın Bilgisi: (2018)

Inquisitive Semantics
Yazar:: Ciardelli, Ivano
Baskı/Yayın Bilgisi: (2018)

Advances in Proof-Theoretic Semantics
Baskı/Yayın Bilgisi: (2016)