activity
20152026
most citedOptimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis

15 citations · 66 across the 23 of their papers we have counts for

collaborators
Showing 2024 · cs.PLShow all

1 paper · 2 filters

cs.PL2024

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady +2

We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witne…