Native_Word Dependents

2022

Verified Complete Test Strategies for Finite State Machines

by Robert Sachtleben

Aug 09

2021

MiniSail - A kernel language for the ISA specification language SAIL

by Mark Wassell

Jun 18

2020

Mersenne primes and the Lucas–Lehmer test

by Manuel Eberl

Jan 17

2018

WebAssembly

by Conrad Watt

Apr 29

2016

Iptables Semantics

by Cornelius Diekmann and Lars Hupel

Sep 09

Algorithms for Reduced Ordered Binary Decision Diagrams

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

Apr 27

2012

A Separation Logic Framework for Imperative HOL

by Peter Lammich and Rene Meis

Nov 14

Generating linear orders for datatypes

by René Thiemann

Aug 07

2009

Collections Framework

by Peter Lammich

Nov 25

2007

Jinja with Threads

by Andreas Lochbihler

Dec 03