Delta-Logic-experiments This repository contains programs and their specifications that were verified using delta logic, as well as their SMT formulations.