Travelled to:1 × Korea
Collaborated with:∅ J.Cao J.P.0001
Talks about:parameter (2) verif (2) strengthen (1) protocol (1) principl (1) abstract (1) paramet (1) automat (1) mechan (1) proof (1)
Person: Yongjian Li
DBLP: Li:Yongjian
Contributed to:
2007
2018Wrote 2 papers:
- SAC-2007-Li #abstraction #parametricity #protocol #proving #verification
- Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.
- ASE-2018-CaoLP #automation #named #verification
- L-CMP: an automatic learning-based parameterized verification tool (JC, YL, JP0), pp. 892–895.