Kunjian Song | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Franz Brauße
4 publications
Rafael S. Menezes
2 publications
Nedas Matulevicius
1 publication
Eddie B. de Lima Filho
1 publication

research

∙ 08/10/2023

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

This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context...

0 Kunjian Song, et al. ∙

research

∙ 11/25/2021

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

Smart contracts written in Solidity are programs used in blockchain netw...

0 Kunjian Song, et al. ∙