30.05.2008

Verification Contest - 2nd Edition

On May 30th, 2008 NoBug held the 2nd edition of the “Miki Denes Verification Contest”. The contest was addressed to engineers from Bucharest, Brasov and Iasi with less than 3 years of experience at NoBug.

The contest aimed to evaluate individual knowledge, refresh essential language features, and prompt discussion with colleagues involved in a wide variety of verification projects.

The contest consisted of 2 parts:

1. Language challenges (2 hours)
   Participants were presented with problems relating to various aspects of verification languages.
2. DUT Verification Documents (2.5 hours)

Participants evaluated documents which had been previously prepared, and contributed by adding relevant items.