It’s a lot easier to do formal verification… which is a fancy BDD, in many ways.

		thechao on Feb 10, 2023 \| parent \| context \| favorite \| on: There Are Only Four Billion Floats–So Test Them Al... It’s a lot easier to do formal verification… which is a fancy BDD, in many ways.