Goran brings 15 years of professional experience with various code and design verification tools ranging from manual testing and test automation to static analysis and formal verification. He has ...