Searching for authors named "Willem Visser" – sorted by Relevance.
-
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

