Search

Your search keyword '"Devereux, Benet"' showing total 16 results
Start Over Author "Devereux, Benet"
16 results on '"Devereux, Benet"'

1. Automated Support for Building Behavioral Models of Event-Driven Systems

Author

Devereux, Benet, Chechik, Marsha, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Baresi, Luciano, editor, and Heckel, Reiko, editor

Published
2006
Full Text
View/download PDF

2. ΧChek: A Multi-valued Model-Checker

Author

Chechik, Marsha, Gurfinkel, Arie, Devereux, Benet, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Brinksma, Ed, editor, and Larsen, Kim Guldstrand, editor

Published
2002
Full Text
View/download PDF

13. Automated Support for Building Behavioral Models of Event-Driven Systems.

Author

Baresi, Luciano, Heckel, Reiko, Devereux, Benet, and Chechik, Marsha

Abstract

Programmers understand a piece of software by building simplified mental models of it. Aspects of these models lend themselves naturally to formalization - e.g., structural relationships can be partly captured by module dependency graphs. Automated support for generating and analyzing such structural models has proven useful. For event-driven systems, behavioral models, which capture temporal and causal relationships between events, are important and deserve similar methodological and tool support. In this paper, we describe such a technique. Our method supports building and elaboration of behavioral models, as well as maintaining such models as systems evolve. The method is based on model-checking and witness generation, using strategies to create goal-driven simulation traces. We illustrate it on a two-lift/three-floor elevator system, and describe our tool, Sawblade, which provides automated support for the method. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

15. Model exploration with temporal logic query checking

Author

Gurfinkel, Arie, Devereux, Benet, and Chechik, Marsha

Abstract

A temporal logic query is a temporal logic formula with placeholders. Given a model, a solution to a query is a set of assignments of propositional formulas to placeholders, such that replacing the placeholders with any of these assignments results in a temporal logic formula that holds in the model. Query checking, first introduced by William Chan [2], is an automated technique for finding solutions to temporal logic queries. It allows discovery of the temporal properties of the system and as such may be a useful tool for model exploration and reverse engineering.This paper describes an implementation of a temporal logic query checker. It then suggests some applications of this tool, ranging from invariant computation to test case generation, and illustrates them using a Cruise Control System.

Published
2002
Full Text
View/download PDF

16. χChek.

Author

Easterbrook, Steve, Chechik, Marsha, Devereux, Benet, Gurfinkel, Arie, Lai, Albert, Petrovykh, Victor, Tafliovich, Anya, and Thompson-Walsh, Christopher

Published
2003

Catalog

Books, media, physical & digital resources
See catalog results