4 ms·
I am aware of some work that involves modelling external devices to achieve verification with SAL or HOL: http://staffwww.dcs.shef.ac.uk/people/R.Taylor/Spurinn
by rainforest 10y ago
I am aware of some work that involves modelling external devices to achieve verification with SAL or HOL: http://staffwww.dcs.shef.ac.uk/people/R.Taylor/Spurinna/ http://staffwww.dcs.shef.ac.uk/people/R.Taylor/Spurinna/