July DVClub – An Efficient Methodology to Find Bugs with ABV
The next DVClub will be taking place on Monday, 7th July with locations in Bristol, Cambridge, Eindhoven, Grenoble, Sophia Antipolis and by Remote Access. Laurent Arditi a Principal Engineer at ARM France will be joining the Sophia Antipolis venue to talk about ‘An Efficient Methodology to Find Bugs with ABV (Assertion Based Verification)’. This presentation [...]