Index

PVSlib

concept · 1 episode · JSON

• s02e29 2015-12-18 1,172 words · 6 min read Robots; Other things … when, say, Watney turns something off and leaves), is actually code from NASA's PVSlib[1], which is their formal verification library (which is a *very* NASA thing …