Automatic_Refinement Dependents

2024

NREST: Nondeterministc RESult monad with Time

by Maximilian P. L. Haslbeck

Sep 16

2021

van Emde Boas Trees

by Thomas Ammer and Peter Lammich

Nov 23

2017

Dictionary Construction

by Lars Hupel

May 24

2016

IP Addresses

by Cornelius Diekmann, Julius Michaelis and Lars Hupel

Jun 28

Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis, Max W. Haslbeck, Peter Lammich and Lars Hupel

Apr 27

2015

Verification of the UpDown Scheme

by Johannes Hölzl

Jan 28

2014

Network Security Policy Verification

by Cornelius Diekmann

Jul 04

2013

Light-weight Containers

by Andreas Lochbihler

Apr 15

2012

A Separation Logic Framework for Imperative HOL

by Peter Lammich and Rene Meis

Nov 14

Refinement for Monadic Programs

by Peter Lammich

Jan 30

2007

Jinja with Threads

by Andreas Lochbihler

Dec 03