Comments by "xybersurfer" (@xybersurfer) on "Asianometry" channel.

  1. ambiguous specification and after that designing with wrong assumptions causes the need for verification. that's what i'm taking away from your traffic light example. why is this information suddenly available during verification?
    1