There’s decades of research in this vein fwiw, usually referred to as symbolic e...

		johnbender 8 months ago \| parent \| context \| favorite \| on: Formal Methods: Just Good Engineering Practice? (2... There’s decades of research in this vein fwiw, usually referred to as symbolic execution and it’s descendants like concolic execution.