3 ms·
You correctly understand the difficulty. AFAICT formal methods only really work in relatively small, self-contained scenarios. You wouldn't want to attempt a fo
by andrewflnr 5y ago
You correctly understand the difficulty. AFAICT formal methods only really work in relatively small, self-contained scenarios. You wouldn't want to attempt a formal proof of a Python web app. The seL4 microkernel is one of the biggest verified projects I know of. Maybe reading about that would give you an idea of how things get put together in the field.