( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.

, и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 160-178. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ziqing Ou

Junfeng Luo

Jia Luo

Yongxiang Luo

Xiaoguang Luo

 

Другие публикации лиц с тем же именем

CIVL: the concurrency intermediate verification language., , , , , , , и . SC, стр. 61:1-61:12. ACM, (2015)Collective Contracts for Message-Passing Parallel Programs., и . CAV (2), том 14682 из Lecture Notes in Computer Science, стр. 44-68. Springer, (2024)Using Large Language Models for Humanitarian Frontline Negotiation: Opportunities and Considerations., , , , , , , , , и 5 other автор(ы). CoRR, (2024)Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed., , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 265-287. Springer, (2023)Verification of MPI programs using CIVL., , и . EuroMPI/USA, стр. 6:1-6:11. ACM, (2017)Verifying Properties of Differentiable Programs., , , , и . SAS, том 11002 из Lecture Notes in Computer Science, стр. 205-222. Springer, (2018)NbO 2 Memristive Neurons for Burst-Based Perceptron., , , , , и . Adv. Intell. Syst., 2 (8): 2000066 (2020)CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)., , , , , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 908-911. Springer, (2016)CIVL: Formal Verification of Parallel Programs., , , , и . ASE, стр. 830-835. IEEE Computer Society, (2015)Towards Deductive Verification of Message-Passing Parallel Programs., и . CORRECTNESS@SC, стр. 59-68. IEEE, (2018)