2 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Litao Zhou, Jianxing Qin, Qinshi Wang +2
Program verifiers for imperative languages such as C may be annotation-based, in which assertions and invariants are put into source files and then checked, or tactic-based, where…