Every year the FMweek is organized to bring the world of Formal verification together. This year it will be held in Eindhoven (@Technical University). Many speakers from many countries with all the latest developments.
More information:
http://www.win.tue.nl/fmweek/Next to having a speakerslot, Verum has a booth where you can test-drive formal verification for your project !
With the staff we have present, you may ask any question, even the nasty ones :)
Also we have a waferstepper inspection machine for demo purposes present; that way you can see the difference between software testing versus model driven design + formal verification: what are the benefits for your software development projects !
Kind regards,
Aernoudt Bottemanne
Verum - Tools for building mathematically verified software
PS: if you have any questions, please feel free to contact me at:
Laan van Diepenvoorde 32
5582 LA WAALRE
M: +31 612179116
T: +31 40 2359090
F: +31 40 2359099
www.verum.com
