Antti Pakonen

Senior Scientist, Project Manager



Recent activities:

VTT CRIS - ResearchGate - Google Scholar

I've been applying model checking in practical customer projects since 2007. It truly is a powerful V&V tool when it comes to safety-critical automation software (or FPGA logics), so should you need some thorough verification, I'm quite sure our team can be of assistance.