We’re excited to announce VESTA, our fully automated logic validation tool, now supports Kongsberg's K-Safe system.
With Kongsberg’s emulated logic solver, VESTA can manipulate required inputs, resets, and HMI points while reading associated output signals.
Please reach out if your K-Safe systems needs independent validation and to arrange a demo.
