67 citations · 98 across the 6 of their papers we have counts for
1 paper · 1 filter
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce…