shlomifr
StyleAligned: Consistent style generation without fine-tuning
Re:The Case for Formal Verification (2013)
on Monday April 21, 2014 @04:32AM (#7620284)
This is very relevant in the light of Heartbleed. Core security code should be verified formally, there is no other way to guarantee correctness of implementation.