Searching for authors named "Marsha Chechik" – sorted by Relevance.
52 documents found, showing 1 through 10.
Next 10 →
-
On Interpreting Results of Model-Checking with Abstraction
- …On Interpreting Results of Model-Checking with Abstraction Marsha Chechik Department of Computer…
- Cited by 8 (3 self) – Add To MetaCart
-
SC(R)³: Towards Usability of Formal Methods
- …SC(R) 3 : Towards Usability of Formal Methods Marsha Chechik University of Toronto Department…
- Cited by 7 (3 self) – Add To MetaCart
-
Declarative Approach for Model Composition
- …Declarative Approach for Model Composition Julia Rubin Marsha Chechik ABSTRACT Model…
- Add To MetaCart
-
Automated Paraconsistent Reasoning via Model Checking
- … [Hunter and Nuseibeh, 1998; Menzies et al., 1999] Steve Easterbrook Marsha Chechik Department of Computer…
- Add To MetaCart
-
Formal Methods When Money Is Tight
- …Formal Methods When Money is Tight Marsha Chechik Andre Wong March 14, 1999 Abstract Formal…
- Cited by 1 (1 self) – Add To MetaCart
-
How vacuous is vacuous
- …How Vacuous is Vacuous? Arie Gurfinkel and Marsha Chechik Department of Computer Science…
- Cited by 13 (7 self) – Add To MetaCart
-
Automatic Analysis of Consistency between Implementations and Requirements
- …AUTOMATIC ANALYSIS OF CONSISTENCY BETWEEN IMPLEMENTATIONS AND REQUIREMENTS 3 Marsha Chechik John…
- Cited by 8 (2 self) – Add To MetaCart
-
Why Waste a Perfectly Good Abstraction
- …Why Waste a Perfectly Good Abstraction? Arie Gurfinkel and Marsha Chechik Department of Computer…
- Cited by 4 (1 self) – Add To MetaCart
-
Reasoning About Compositions of Concerns
- … parallel interacting devices, the views of different types of user (e.g., a bank Marsha Chechik Steve…
- Cited by 3 (0 self) – Add To MetaCart
-
Automatic Verification of Requirements Implementation
- …Automatic Verification of Requirements Implementation Marsha Chechik John Gannon Computer Science…
- Cited by 10 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
