EasyChair Smart SlideUser guide
Conference: TAPAS 2019 (The Tenth Workshop on Tools for Automatic Program Analysis)

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

Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry

Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry

Bernard Schmidt

Boost the Impact of Continuous Formal Verification in Industry

Boost the Impact of Continuous Formal Verification in Industry

Felipe Rodrigues Monteiro Sousa, Mikhail R. Gadelha and Lucas Cordeiro

fkcc: the Farkas Calculator

fkcc: the Farkas Calculator

Christophe Alias

AuthCheck: Program-state Analysis for Access-control Vulnerabilities

AuthCheck: Program-state Analysis for Access-control Vulnerabilities

Goran Piskachev, Tobias Petrasch, Johannes Späth and Eric Bodden

PrideMM: Second Order Model Checking for Memory Consistency Models

PrideMM: Second Order Model Checking for Memory Consistency Models

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikolas Janota

Handling Heap Data Structures in Backward Symbolic Execution

Handling Heap Data Structures in Backward Symbolic Execution

Robert Husák, Jan Kofron and Filip Zavoral

Leveraging Highly Automated Theorem Proving for Certication

Leveraging Highly Automated Theorem Proving for Certication

Deni Raco, Bernhard Rumpe and Sebastian Stüber

Presentations in this collection: 7
Copyright © 2002 – 2026 EasyChair