Summary

This paper, presented at ISSTA 2018 and ICSE Demo 2018, details the piCoq project – a parallel regression proving tool developed by Ahmet Celik, Karl Palmskog, and Milos Gligoric. It focuses on streamlining large-scale verification projects through efficient regression proof selection.

Title

Karl Palmskog

Description

Karl Palmskog is a computer science teacher and researcher primarily working on topics related to program verification and proof engineering.

Keywords

international, software, engineering, conference, milos, verification, july, workshop, programming, proof, systems, analysis, projects, computer, languages, formal, model

NS Lookup

A 185.199.111.153, A 185.199.108.153, A 185.199.109.153, A 185.199.110.153

Dates

Created 2026-03-08

Updated 2026-03-08

Summarized 2026-03-08