Yotam M. Y. Feldman

Available identifiers

zbMath Open feldman.yotam-m-yMaRDI QIDQ2961564

List of research outcomes

Publication	Date of Publication	Type
Inferring inductive invariants from phase structures	2024-02-16	Paper
Invariant inference with provable complexity from the monotone theory	2023-07-28	Paper
SAT-based invariant inference and its relation to concept learning	2023-07-21	Paper
Order out of chaos: proving linearizability using local views	2022-07-21	Paper
Bounded quantifier instantiation for checking inductive invariants	2020-08-05	Paper
Bounded quantifier instantiation for checking inductive invariants	2019-09-13	Paper
Property Directed Reachability for Proving Absence of Concurrent Modification Errors	2017-02-21	Paper

Research outcomes over time

This page was built for person: Yotam M. Y. Feldman