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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Online |
| Taal: | Engels |
| Gepubliceerd in: |
KIT Scientific Publishing
2021
|
| Onderwerpen: | |
| Online toegang: | 35028 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items: From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
- 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
- Verification-based software-fault detection
- Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
- 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
- A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
- Lazy Evaluation: From natural semantics to a machine-checked compiler transformation