E-LIB Suche - Ergebnisse für: Zohar, Yoni

1

Formal Methods: Foundations and Applications: 26th Brazilia..

Lecture Notes in Computer Science, 14414

Barbosa, Haniel ; Zohar, Yoni - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

2

Combining Stable Infiniteness and (Strong) Politeness:

Sheng, Ying ; Zohar, Yoni ; Ringeissen, Christophe...
Journal of Automated Reasoning. 67 (2023) 4 - p. , 2023

Link: https://doi.org/10.1007/..

3

Combining Finite Combination Properties: Finite Models and ..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Toledo, Guilherme V. ; Zohar, Yoni ; Barrett, Clark - p. 159-175 , 2023

Link: https://doi.org/10.1007/..

4

Reasoning About Vectors: Satisfiability Modulo a Theory of ..:

Sheng, Ying ; Nötzli, Andres ; Reynolds, Andrew...
Journal of Automated Reasoning. 67 (2023) 3 - p. , 2023

Link: https://doi.org/10.1007/..

5

Generating and Exploiting Automated Reasoning Proof Certifi..:

Barbosa, Haniel ; Barrett, Clark ; Cook, Byron...
Communications of the ACM. 66 (2023) 10 - p. 86-95 , 2023

Link: https://doi.org/10.1145/..

6

Formal Verification of Bit-Vector Invertibility Conditions ..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Ekici, Burak ; Viswanathan, Arjun ; Zohar, Yoni.. - p. 41-59 , 2023

Link: https://doi.org/10.1007/..

7

Combining Combination Properties: An Analysis of Stable Inf..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Toledo, Guilherme V. ; Zohar, Yoni ; Barrett, Clark - p. 522-541 , 2023

Link: https://doi.org/10.1007/..

8

Polite Combination of Algebraic Datatypes:

Sheng, Ying ; Zohar, Yoni ; Ringeissen, Christophe...
Journal of Automated Reasoning. 66 (2022) 3 - p. 331-355 , 2022

Link: https://doi.org/10.1007/..

9

Reasoning About Vectors Using an SMT Theory of Sequences:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Sheng, Ying ; Nötzli, Andres ; Reynolds, Andrew... - p. 125-143 , 2022

Link: https://doi.org/10.1007/..

10

Flexible Proof Production in an Industrial-Strength SMT Sol..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Barbosa, Haniel ; Reynolds, Andrew ; Kremer, Gereon... - p. 15-35 , 2022

Link: https://doi.org/10.1007/..

11

cvc5: A Versatile and Industrial-Strength SMT Solver:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Barbosa, Haniel ; Barrett, Clark ; Brain, Martin... - p. 415-442 , 2022

Link: https://doi.org/10.1007/..

12

Bit-Precise Reasoning via Int-Blasting:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Zohar, Yoni ; Irfan, Ahmed ; Mann, Makai... - p. 496-518 , 2022

Link: https://doi.org/10.1007/..

13

Effective Semantics for the Modal Logics K and KT via Non-d..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Lahav, Ori ; Zohar, Yoni - p. 468-485 , 2022

Link: https://doi.org/10.1007/..

14

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Mann, Makai ; Wilson, Amalee ; Zohar, Yoni... - p. 377-386 , 2021

Link: https://doi.org/10.1007/..

15

Politeness and Stable Infiniteness: Stronger Together:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Sheng, Ying ; Zohar, Yoni ; Ringeissen, Christophe... - p. 148-165 , 2021

Link: https://doi.org/10.1007/..