News for hackers. Stuff that matters.

A comment on SLAyer. Parent comment

Re:SLAyer by tyingq on Wednesday May 04, 2016 @08:34AM (#11627847)
> What is the significance of SLA?

Guessing "Separation Logic-based Analyses": http://research.microsoft.com/pubs/163161/2012%20CAV%20Diagn...

[ Parent | on HN ]

There are no comments on this comment yet.