( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

, , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 541-546. Springer, (2023)

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.

Flo Menezes

Juliao Menezes

Shalini Menezes

Prashanth Menezes

Filipa Menezes Cordeiro

 

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

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution)., , , , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 525-529. Springer, (2020)EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution)., , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 541-546. Springer, (2023)Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution)., , , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 403-407. Springer, (2020)ESBMC-Python: A Bounded Model Checker for Python Programs., , , , и . CoRR, (2024)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 437-441. Springer, (2018)ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation., , , , и . ISSTA, стр. 777-780. ACM, (2022)Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs., , , , , и . IEEE Access, (2022)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , и . ISSTA, стр. 773-776. ACM, (2022)ESBMC v7.3: Model Checking C++ Programs Using Clang AST., , , , и . SBMF, том 14414 из Lecture Notes in Computer Science, стр. 141-152. Springer, (2023)FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , и . CoRR, (2020)