6 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.PL2021
Constraint-based Relational Verification
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
In recent years they have been numerous works that aim to automate relational verification. Meanwhile, although Constrained Horn Clauses (CHCs) empower a wide range of verification…
cs.PL2020★ 6 cited
Program Verification via Predicate Constraint Satisfiability Modulo Theories
Hiroshi Unno, Yuki Satake, Tachio Terauchi +1
This paper presents a verification framework based on a new class of predicate Constraint Satisfaction Problems called pCSP where constraints are represented as clauses modulo firs…
cs.CR2012★ 2 cited
Quantitative Information Flow as Safety and Liveness Hyperproperties
Hirotoshi Yasuoka, Tachio Terauchi
We employ Clarkson and Schneider's "hyperproperties" to classify various verification problems of quantitative information flow. The results of this paper unify and extend the prev…