Aditya Nori , a researcher in the Rigorous Software Engineering team at Microsoft Research India , just gave me a brief overview of his demo, entitled Specification Inference for Security, and as he made repeated references to the poster in his TechFest booth, I though it would be instructive to share...
Posted to
TechFest Live!
by
robk
on
02-26-2009
Filed under:
Filed under: Research, TechFest, Microsoft, 2009, infer, security, code, India, Aditya Nori, specification, Rigorous Software Engineering