Searching for authors named "Robert Seater" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Exploiting Subformula Sharing in Automatic Analysis of Quantified Formulas
- … Sridharan 2 , Robert Seater 1 , and Daniel Jackson 1 1 Laboratory for Computer Science Massachusetts…
- Cited by 9 (6 self) – Add To MetaCart
-
Automating Commutativity Analysis at the Design Level
- …Abstract Automating Commutativity Analysis at the Design Level Greg Dennis, Robert Seater, Derek…
- Cited by 8 (1 self) – Add To MetaCart
-
Requirement Progression in Problem Frames: Deriving Specifications from Requirements
- …Requirement Progression in Problem Frames: Deriving Specifications from Requirements Robert Seater…
- Cited by 1 (1 self) – Add To MetaCart
-
Lightweight extraction of syntactic specifications
- …ABSTRACT Lightweight Extraction of Syntactic Specifications Mana Taghdiri Robert Seater Daniel…
- Cited by 2 (0 self) – Add To MetaCart
-
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores
- …, Cambridge, MA ilya shl@(email omitted); Robert Seater MIT CSAIL, Cambridge, MA rseater@(email omitted); Daniel Jackson MIT…
- Cited by 14 (0 self) – Add To MetaCart
Showing 1 through 5.
