Antti Pakonen

Senior Scientist, Project Manager

VTT

Contact:

Activities:

I represent Finland in the IAEA Technical Working Group on Nuclear Power Plant Instrumentation and Control (TWG-NPPIC).

I am the secretary of the Automation Safety & Security Forum, a committee of the Finnish Society of Automation.

Publications: VTT CRIS - ResearchGate - Google Scholar

Model checking truly is a powerful V&V tool (see practical examples here!). Should you need some thorough verification, please get in contact!