Name: Anonymous 2016-06-23 3:45
https://sel4.systems/
This is the kernel that flies the X-37 Orbital Test Vehicle. Why aren't you using it in your embedded programming?
Anyway, this got me thinking about formal verification. Is it overrated crap to suck out more research grant money, or is it worthwhile to learn and apply?
Does it make unit-testing look like something retarded drooling code-monkeys do?
It seems difficult to use in the real world. Can it be made simpler? What if everything was written with formal proofs?
Are dynamically typed languages impossible to automatically verify?
This is the kernel that flies the X-37 Orbital Test Vehicle. Why aren't you using it in your embedded programming?
Anyway, this got me thinking about formal verification. Is it overrated crap to suck out more research grant money, or is it worthwhile to learn and apply?
Does it make unit-testing look like something retarded drooling code-monkeys do?
It seems difficult to use in the real world. Can it be made simpler? What if everything was written with formal proofs?
Are dynamically typed languages impossible to automatically verify?