# Tools

## 2023

## 2022

##### Automation of Boolos' Curious Inference in Isabelle/HOL

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe

## 2021

##### SpecCheck - Specification-Based Testing for Isabelle/ML

by Kevin Kappelmann, Lukas Bulwahn and Sebastian Willenbrink

## 2020

##### Automated Stateful Protocol Verification

by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull

## 2019

## 2018

##### Bounded Natural Functors with Covariance and Contravariance

by Andreas Lochbihler and Joshua Schneider

## 2017

##### Operations on Bounded Natural Functors

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel

##### Homogeneous Linear Diophantine Equations

by Florian Messner, Julian Parsert, Jonas Schöpf and Christian Sternagel

## 2016

##### Separata: Isabelle tactics for Separation Algebra

by Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore and Ranald Clouston