Kunjian Song

According to our database, Kunjian Song authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.

Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

ESBMC v7.4: Harnessing the Power of Intervals.

Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2023

ESBMC v7.3: Model Checking C++ Programs Using Clang AST.

Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2022

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts.

Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022