From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Temporal prophecy for proving temporal properties of infinite-state systems.

O. Padon, J. Hoenicke, K. McMillan, A. Podelski, M. Sagiv, и S. Shoham. Formal Methods Syst. Des., 57 (2): 246-269 (2021)

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.

Oded Green

Oded Maron

Kwame Olanrewaju Padonoú

Oded Löwenbein

Oded Friedmann

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

Semantic program alignment for equivalence checking.B. Churchill, O. Padon, R. Sharma, и A. Aiken. PLDI, стр. 1027-1040. ACM, (2019)Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.S. Mukherjee, O. Padon, S. Shoham, D. D'Souza, и N. Rinetzky. SAS, том 10422 из Lecture Notes in Computer Science, стр. 253-276. Springer, (2017)Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems.O. Padon, J. Hoenicke, K. McMillan, A. Podelski, M. Sagiv, и S. Shoham. CoRR, (2021)TASO: optimizing deep learning computation with automatic generation of graph substitutions.Z. Jia, O. Padon, J. Thomas, T. Warszawski, M. Zaharia, и A. Aiken. SOSP, стр. 47-62. ACM, (2019)An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.N. Elad, O. Padon, и S. Shoham. CoRR, (2023)Property Directed Reachability for Proving Absence of Concurrent Modification Errors.A. Frumkin, Y. Feldman, O. Lhoták, O. Padon, M. Sagiv, и S. Shoham. VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 209-227. Springer, (2017)Adaptive restarts for stochastic synthesis.J. Koenig, O. Padon, и A. Aiken. PLDI, стр. 696-709. ACM, (2021)Quartz: superoptimization of Quantum circuits.M. Xu, Z. Li, O. Padon, S. Lin, J. Pointing, A. Hirth, H. Ma, J. Palsberg, A. Aiken, U. Acar и 1 other автор(ы). PLDI, стр. 625-640. ACM, (2022)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.M. Mann, A. Irfan, A. Griggio, O. Padon, и C. Barrett. Log. Methods Comput. Sci., (2022)Bounded Quantifier Instantiation for Checking Inductive Invariants.Y. Feldman, O. Padon, N. Immerman, M. Sagiv, и S. Shoham. Log. Methods Comput. Sci., (2019)

BibSonomy

Disambiguation