×
AllShoppingImagesVideos Maps News Books
Search tools

Scholarly articles for Inferring Synchronization under Limited Observability.

scholar.google.com › citations
Inferring synchronization under limited observability
Vechev · Cited by 54
Observability of complex systems
Liu · Cited by 601
Observability for switched linear systems: …
Tanwani · Cited by 231

Inferring Synchronization under Limited Observability - SRI Lab

www.sri.inf.ethz.ch › vechev2009inferring
This paper addresses the problem of automatically inferring synchronization for concurrent programs. Given a program and a specification, we infer ...

Inferring Synchronization under Limited Observability - SpringerLink

link.springer.com › chapter
This paper addresses the problem of automatically inferring synchronization for concurrent programs. Given a program and a specification, we infer ...

[PDF] Inferring Synchronization under Limited Observability

csaws.cs.technion.ac.il › tacas09
Abstract. This paper addresses the problem of automatically inferring synchronization for concurrent programs. Given a program and a specification, we infer ...

[PDF] Inferring Synchronization under Limited Observability - CiteSeerX

citeseerx.ist.psu.edu › document
Abstract. This paper addresses the problem of automatically inferring synchronization for concurrent programs. Given a program and a specification, we infer ...

Inferring Synchronization under Limited Observability

dl.acm.org › doi
This paper addresses the problem of automatically inferring synchronization for concurrent programs. Given a program and a specification, we infer ...

Inferring Synchronization under Limited Observability - IBM Research

dominoweb.draco.res.ibm.com › ...
Inferring Synchronization under Limited Observability. This paper addresses the problem of automatically inferring synchronization for concurrent programs.

Inferring Synchronization under Limited Observability

link.springer.com › content › pdf
Our goal is to assist the programmer in systematically exploring alternative choices of synchronization, based on the cost that she is willing to accept. Given ...

[PPT] Introduction to Separation Logic - Greta Yorsh

gretay.github.io › inferguards
Inferring Synchronization under Limited Observability. Martin Vechev, Eran Yahav, Greta Yorsh. IBM T.J. Watson Research Center. (work in progress). Assist the ...

Inferring Synchronization under Limited Observability. - DBLP

dblp.org › conf › tacas › VechevYY09
Jun 26, 2018 · Bibliographic details on Inferring Synchronization under Limited Observability.

BibSLEIGH — Inferring Synchronization under Limited Observability

bibtex.github.io › TACAS-2009-Vechev...
Martin T. Vechev, Eran Yahav, Greta Yorsh Inferring Synchronization under Limited Observability TACAS, 2009. ... Bibliography of Software Language Engineering in ...