4 ms·
It is a tool for verifying memory safety from Microsoft under the MIT license. 1) From MS under the MIT license? What? Did MS abandon their proprietary open so
by daveguy 11y ago
It is a tool for verifying memory safety from Microsoft under the MIT license.
1) From MS under the MIT license? What? Did MS abandon their proprietary open source licenses?
2) What is the significance of SLA? Service level agreement doesn't seem to fit. I thought it would be a tool for the facilitation of SLA (in terms of service duplication). I guess verifying program safety would improve uptime for each individual instance (but there's a whole lot more to it than that). Is that what this SLA refers to?
Edit: Thanks everyone for the clarifications! I knew SLA as service level agreement didn't fit. And @zamalek binging on open source hah! so punny.
- Tomte 11y ago"Separation Logic", no idea about the "A". Maybe "analysis"?
- zamalek 11y ago> Did MS abandon their proprietary open source licenses? This is not new, Microsoft has been binging on open source lately (much to my glee). Many things on their GH org[1] are permissively licensed, including CoreCLR (the .Net runtime). [1]: https://github.com/Microsoft https://github.com/Microsoft
- tyingq 11y ago> What is the significance of SLA? Guessing "Separation Logic-based Analyses": http://research.microsoft.com/pubs/163161/2012%20CAV%20Diagnosing%20Abstraction%20Failure%20TR.pdf http://research.microsoft.com/pubs/163161/2012%20CAV%20Diagn...
- moftz 11y agoFormal verification of service level agreements and other contracts would be a pretty cool machine learning project.
- saminishtiaq 11y ago1. MIT is the standard GitHub.com/Microsoft license. 2. SLAyer is an acronym of Separation Logic Analyzer. And also a reference to Josh's musical taste.