329 citations · 459 across the 19 of their papers we have counts for
1 paper · 1 filter
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong +4
N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we desc…