BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Li:Yongjian

Contributed to:

SAC 20072007
ASE 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.