( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SMT-based context-bounded model checking for CUDA programs.

, , , , , , и . Concurr. Comput. Pract. Exp., (2017)

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.

Silvio Cordeiro

Caroline Cordeiro

Albino Cordeiro

Daniel Cordeiro

Rodrigo Cordeiro Tupynambá

 

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

Application of Global Route-Planning Algorithms with Geodesy., , и . CoRR, (2016)Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker, , и . CoRR, (2011)DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles., , , , , и . IEEE Trans. Reliability, 67 (4): 1420-1441 (2018)Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks., , и . SBMF, том 10623 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2017)SMT-based bounded model checking of multi-threaded software in embedded systems.. University of Southampton, UK, (2011)British Library, EThOS.Survey on automated symbolic verification and its application for synthesising cyber-physical systems., , и . IET Cyper-Phys. Syst.: Theory & Appl., 5 (1): 1-24 (2020)Counterexample Guided Inductive Optimization., , , , и . CoRR, (2017)FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , и . CoRR, (2020)Incremental Verification of Fixed-Point Implementations of Neural Networks., , , , и . CoRR, (2020)JBMC: A Bounded Model Checking Tool for Java Bytecode., , , и . CoRR, (2023)