Hiroshi Unno

Registered user since Fri 19 Dec 2014

Name:Hiroshi Unno
Country:Japan
Affiliation:University of Tsukuba; RIKEN AIP
Research interests:Programming Languages, Software Verification

Contributions

POPL 2023 Optimal CHC Solving via Termination Proofs
Temporal Verification with Answer-Effect Modification
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Show activities from other conferences

Using general profile