Searching for authors named "Willem Visser" – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Memory Efficient State Storage in SPIN
- …Memory Efficient State Storage in SPIN Willem Visser June 14, 1996 Abstract The use of an Ordered…
- Cited by 8 (0 self) – Add To MetaCart
-
unknown title
- … Publishers. Manufactured in The Netherlands. WILLEM VISSER wvisser@(email omitted); RIACS/NASA Ames…
- Add To MetaCart
-
unknown title
- … What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department…
- Add To MetaCart
-
Practical CTL Model Checking - Should SPIN be Extended?
- … CTL Model Checking Should SPIN be Extended? Willem Visser 1 and Howard Barringer 2 1 RIACS…
- Cited by 6 (0 self) – Add To MetaCart
-
Program Model Checking as a New Trend
- … Model Checking as a New Trend Klaus Havelund Willem Visser 2 Kestrel Technology, NASA Ames Research…
- Cited by 4 (0 self) – Add To MetaCart
-
CTL* Model Checking for SPIN
- …CTL Model Checking for SPIN Willem Visser and Howard Barringer Department of Computer Science…
- Cited by 4 (0 self) – Add To MetaCart
-
Model Checking Java Programs using Structural Heuristics
- …, Carnegie Mellon University agroce@(email omitted); Willem Visser RIACS/NASA Ames Research Center wvisser…
- Cited by 40 (11 self) – Add To MetaCart
-
Heuristics for Model Checking Java Programs
- … for Model Checking Java Programs Alex Groce 1 , Willem Visser 2 1 School of Computer Science, Carnegie…
- Cited by 28 (5 self) – Add To MetaCart
-
Addressing Dynamic Issues of Program Model Checking
- …Addressing Dynamic Issues of Program Model Checking Flavio Lerda and Willem Visser RIACS/NASA M…
- Cited by 27 (1 self) – Add To MetaCart
-
Variably interprocedural program analysis for runtime error detection
- … brat@(email omitted); 1 Willem Visser ∗ SEVEN Networks Redwood City, CA, USA willem@(email omitted); 1…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
