Kunjian Song

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Temporal Properties

Pspace Complete

Top Venues

Publications

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
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). TACAS (3) (2024)
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST. CoRR (2024)
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
ESBMC v7.4: Harnessing the Power of Intervals. CoRR (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs Using Clang AST. SBMF (2023)
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
ESBMC v7.3: Model Checking C++ Programs using Clang AST. CoRR (2023)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion (2022)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR (2021)