Antti Pakonen

Senior Scientist, Project Manager

VTT

Contact:

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 (see practical examples here!). Should you need some thorough verification, I'm quite sure our team can be of assistance!