3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2024★ 3 cited
CF-GKAT: Efficient Validation of Control-Flow Transformations
Cheng Zhang, Tobias Kappé, David E. Narváez +1
Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still seve…
cs.SE2022
Creating Interactive Visualizations of TopHat Programs
Mark Gerarts, Marc de Hoog, Nico Naus +1
Many companies and institutions have automated their business process in workflow management software. The novel programming paradigm Task-Oriented Programming (TOP) provides an ab…
cs.LO2022★ 1 cited
Reachability Logic for Low-Level Programs
Nico Naus, Freek Verbeek, Marc Schoolderman +1
Automatic exploit generation is a relatively new area of research. Work in this area aims to automate the manual and labor intensive task of finding exploits in software. In this p…