Aerospace Village·25 min
Darren Cofer
Darren Cofer presents outcomes from DARPA's HACMS program, building provably secure military drone flight control software using seL4 microkernels and formal verification.
formal-methodsdarpahacms+2
formal-methods
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…