AVISSAutomated Verification of Infinite-State Systems
References in periodicals archive ?
Sanjeev Singh, the managing director at AVISS, said: "It's been a great experience with really great footfall and qualitative visitors.
The presentation was followed by a tour of the control room within Forsmark 3 where the group was able to see first- hand the benefits of having a robust video management system complete with RADCAM (ICM2009) radiation tolerant cameras, IVS3000 video matrices and the AVISS video management system.
Next the group was able to tour the equipment room where over 100 cameras from throughout Forsmark 3 converge into a bank of IVS3000 video matrices that are all being managed by ISEC's AVISS video management software, specifically designed for nuclear power plants.