# Yotam M. Y. Feldman

According to our database

Collaborative distances:

^{1}, Yotam M. Y. Feldman authored at least 4 papers between 2017 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Inferring Inductive Invariants from Phase Structures.

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Order out of Chaos: Proving Linearizability Using Local Views.

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

2017

Property Directed Reachability for Proving Absence of Concurrent Modification Errors.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Bounded Quantifier Instantiation for Checking Inductive Invariants.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017