|
|
|
|
|
|
by hwayne
3338 days ago
|
|
|
The way it worked out for me was to first learn it on my own, then model a buggy system at work, then demonstrate how it finds a bug. It's one thing to explain the ideas, another to see it actually run and produce an error trace that maps to a problem in the code. |
|
|