From post

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

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.

M. Mann, A. Irfan, A. Griggio, O. Padon, и C. Barrett. TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 113-132. Springer, (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.

Martin Makait

Alexander Mann

Andreas Mann

Karl Mann

Philipp Mann

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

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.M. Mann, A. Irfan, A. Griggio, O. Padon, и C. Barrett. TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 113-132. Springer, (2021)A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs.A. Nayak, K. Zhang, R. Setaluri, A. Carsello, M. Mann, S. Richardson, R. Bahr, P. Hanrahan, M. Horowitz, и P. Raina. DATE, стр. 846-851. IEEE, (2020)A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.G. Cardona, K. Leahy, M. Mann, и C. Vasile. CoRR, (2023)Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.M. Cai, M. Mann, Z. Serlin, K. Leahy, и C. Vasile. CoRR, (2022)Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks.C. Donovick, M. Mann, C. Barrett, и P. Hanrahan. ReConFig, стр. 1-8. IEEE, (2019)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.F. Lonsing, K. Ganesan, M. Mann, S. Nuthakki, E. Singh, M. Srouji, Y. Yang, S. Mitra, и C. Barrett. ICCAD, стр. 1-8. ACM, (2019)Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.M. Mann, A. Wilson, Y. Zohar, L. Stuntz, A. Irfan, K. Brown, C. Donovick, A. Guman, C. Tinelli, и C. Barrett. SAT, том 12831 из Lecture Notes in Computer Science, стр. 377-386. Springer, (2021)CoSA: Integrated Verification for Agile Hardware Design.C. Mattarei, M. Mann, C. Barrett, R. Daly, D. Huff, и P. Hanrahan. FMCAD, стр. 1-5. IEEE, (2018)Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains.A. Nayak, K. Zhang, R. Setaluri, A. Carsello, M. Mann, C. Torng, S. Richardson, R. Bahr, P. Hanrahan, M. Horowitz и 1 other автор(ы). ACM Trans. Reconfigurable Technol. Syst., 16 (2): 26:1-26:28 (июня 2023)Automating System Configuration.N. Tsiskaridze, M. Strange, M. Mann, K. Sreedhar, Q. Liu, M. Horowitz, и C. Barrett. FMCAD, стр. 102-111. IEEE, (2021)

BibSonomy

Disambiguation