Kailiang Ji

Identifiers

No identifiers captured yet.

Papers (2)

1. On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony cs.PL · 2018 · author #3
2. SCTL: Towards Combining Model Checking and Proof Checking cs.LO · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Ahmed Bouajjani 1 shared papers
• Constantin Enea 1 shared papers
• Gilles Dowek 1 shared papers
• Jian Liu 1 shared papers
• Shaz Qadeer 1 shared papers
• Ying Jiang 1 shared papers