Frequently Asked Questions
The standard proof test for our project changed from 6 months to 1 year. How can I change this is for all my SIFs in exSILentia?
Last Updated about a month ago
exSILentia has a Parameter Update utility. This utility allows you to change some key parameters for all or a selected set of SIFs in a project.