3 ms·

Or you can require the gateway to be formally verified, running something like this[0] Of course, then you have to construct a spec which is foolproof. [0]- h

by wz1000 12y ago

Or you can require the gateway to be formally verified, running something like this[0] Of course, then you have to construct a spec which is foolproof. [0]- http://www.ok-labs.com/_assets/image_library/NICTA-Technical-paper-Formal-Verification.pdf http://www.ok-labs.com/_assets/image_library/NICTA-Technical...