EasyChair Smart SlideDocs/Log in
Conference: VSTTE 2018 (10th Working Conference on Verified Software: Theories, Tools, and Experiments)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich and Alexander Weigl

Contract-based Compositional Verification of Infinite-State Reactive Systems

Contract-based Compositional Verification of Infinite-State Reactive Systems

Cesare Tinelli

Formalising Executable Specifications of Low-Level Systems

Formalising Executable Specifications of Low-Level Systems

Paolo Torrini, David Nowak, Narjes Jomaa and Mohamed Sami Cherif

Executable Counterexamples in Software Model Checking

Executable Counterexamples in Software Model Checking

Arie Gurfinkel, Temesghen Kahsai and Jorge A Navas

Loop Detection by Logically Constrained Term Rewriting

Loop Detection by Logically Constrained Term Rewriting

Naoki Nishida and Sarah Winkler

Practical Methods for Reasoning about Java 8's Functional Programming Features

Practical Methods for Reasoning about Java 8's Functional Programming Features

David Cok and Serdar Tasiran

A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars

A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars

Alessandro Coglio

The Map Equality Domain

The Map Equality Domain

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz and Andreas Podelski

A Tree-Based Approach to Data Flow Proofs

A Tree-Based Approach to Data Flow Proofs

Jochen Hoenicke, Alexander Nutz and Andreas Podelski

Privacy-Compliant Type Systems

Privacy-Compliant Type Systems

Robin Adams and Sibylle Schupp

TWAM: A Certifying Abstract Machine for Logic Programs

TWAM: A Certifying Abstract Machine for Logic Programs

Brandon Bohrer and Karl Crary

Lattice-Based Refinement in Bounded Model Checking

Lattice-Based Refinement in Bounded Model Checking

Karine Even-Mendoza, Sepideh Asadi, Antti Hyvärinen, Hana Chockler and Natasha Sharygina

Presentations in this collection: 12
Copyright © 2002 – 2024 EasyChair