Off-line Analysis Posted on October 6, 2009 (May 18, 2018) by Michael Here we change the safety checker to do off-line analysis, thereby halving the execution time. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/
