1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2018
Branching Temporal Logic of Calls and Returns for Pushdown Systems
Huu-Vu Nguyen, Tayssir Touili
Pushdown Systems (PDSs) are a natural model for sequential programs with (recursive) procedure calls. In this work, we define the Branching temporal logic of CAlls and RETurns (BCA…
cs.LO2017★ 1 cited
CARET analysis of multithreaded programs
Huu-Vu Nguyen, Tayssir Touili
Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic t…