1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2006
Constraint-based automatic verification of abstract models of multithreaded programs
Giorgio Delzanno
We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high le…
cs.CL2006
Constraint-based verification of abstract models of multitreaded programs
Giorgio Delzanno
We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high le…
cs.PL2003★ 1 cited
Model Checking Linear Logic Specifications
M. Bozzano, G. Delzanno, M. Martelli
The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications. The fragment of lin…