3 ms·what is good course to learn formal verification ?by pragnesh 5y agowhat is good course to learn formal verification ?