Hello,

| Real software engineers don't debug programs, they verify correctness.
| This process doesn't necessarily involve execution of anything on a
| computer, except perhaps a Correctness Verification Aid package.

Genau. Virtuelle Software. Das ist dann die six'th Generation?

Harzliche Grüße aus http://www.annerschbarrich.de

Tom