I agree that this site is using cookies. You can find further informations here.
X
Song, Kunjian
11  results:
Search for persons X
?
1

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

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Menezes, Rafael Sá ; Aldughaim, Mohannad ; Farias, Bruno... - p. 376-380 , 2024
Link: https://doi.org/10.1007/..
 
?
2

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

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,
Song, Kunjian ; Gadelha, Mikhail R. ; Brauße, Franz.. - p. 141-152 , 2023
Link: https://doi.org/10.1007/..
 
?
3

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022
Link: https://doi.org/10.1145/..
 
?
4

ESBMC-solidity : an SMT-based model checker for solidity..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,
Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

A facile route to synthesize mesoporous SBA-15 silica spher..:

Dong, Xue ; Wang, Yi ; Dan, Hui...
Materials Letters.  204 (2017)  - p. 97-100 , 2017
Link: https://doi.org/10.1016/..
 
?
6

ESBMC-v7.3 evaluation:

Song, Kunjian
doi:10.5281/zenodo.8176008.  , 2023
Link: https://zenodo.org/recor..
 
?
7

ESBMC v7.4: Harnessing the Power of Intervals:

Menezes, Rafael ; Aldughaim, Mohannad ; Farias, Bruno...
http://arxiv.org/abs/2312.14746.  , 2023
Link: http://arxiv.org/abs/231..
 
?
8

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

Song, Kunjian ; Gadelha, Mikhail R ; Brauße, Franz..
http://arxiv.org/abs/2308.05649.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

ESBMC v7.3 evaluation:

Song, Kunjian
doi:10.5281/zenodo.8233713.  , 2023
Link: https://zenodo.org/recor..
 
?
10

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

Song, Kunjian ; Matulevicius, Nedas ; Filho, Eddie B. de Lima.
http://arxiv.org/abs/2111.13117.  , 2021
Link: http://arxiv.org/abs/211..
 
?
11

ESBMC-Solidity: An SMT-Based Model Checkerfor Solidity Smar..:

Song, Kunjian
doi:10.5281/zenodo.5721725.  , 2021
Link: https://zenodo.org/recor..
 
1-11