Kailiang Ji

According to our database, Kailiang Ji authored at least 7 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Towards Combining Model Checking and Proof Checking.

Ying Jiang, Jian Liu, Gilles Dowek, Kailiang Ji

Comput. J., 2019

2018

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.

Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT.

Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

SCTL: Towards Combining Model Checking and Proof Checking.

Jian Liu, Gilles Dowek, Kailiang Ji, Ying Jiang

CoRR, 2016

Resolution in Solving Graph Problems.

Kailiang Ji

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2015

Model Checking and Theorem Proving. (Le model Checking et la émonstration de théorèmes).

Kailiang Ji

PhD thesis, 2015

CTL Model Checking in Deduction Modulo.

Kailiang Ji

Proceedings of the Automated Deduction - CADE-25, 2015