EasyChair Smart SlideUser guide
Author: Peter Schrammel

This page shows all presentations of this author published in EasyChair Smart Slide.

Template-Based Verification of Heap-Manipulating Programs

Template-Based Verification of Heap-Manipulating Programs

Viktor Malík, Martin Hruska, Peter Schrammel and Tomas Vojnar

Procedure-Modular Termination Analysis

Procedure-Modular Termination Analysis

Cristina David, Daniel Kroening and Peter Schrammel

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel and Marek Trtik

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