3 ms·EBMC: http://www.cprover.org/ebmc/ http://www.cprover.org/ebmc/by Rochus 2y agoEBMC: http://www.cprover.org/ebmc/ http://www.cprover.org/ebmc/