Please login to view the entire Verification Horizons article.
Please register or login to view.
by Tom Fitzpatrick, Editor and Verification Technologist
"If you're at DAC this year, please stop by the Verification Academy booth (#2408) to say "hi." "—Tom Fitzpatrick
Now that it's May here in New England, I'm sure you'll all be happy to know that, even after our record-setting snowfall this past winter, there is, in fact, no more snow on my lawn. When this statement became a fact is still a source of amazement, but I'm just glad the snow is gone.
Of course, that means it's time to get the lawn in shape, and I'm faced with the unfortunate situation that my 17-year-old son is too busy (with homework and standardized tests) to be of much help these days. Still, I'd rather ride the tractor than shovel snow any day, so I can't really
...