Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

First Page		Document Content
Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning		Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Download Document from Source Website File Size: 98,16 KB Share Document on Facebook

	Machine Learning @ Amazon Rajeev Rastogi Director, Machine Learning Key Takeaways • DocID: 1xVRp - View Document
	Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Flexible and Scalable Deep Learning with MMLSpark Mark Hamilton Sudarshan DocID: 1xVPK - View Document
	R E P O RT R E P R I N T Big data, machine learning shape performance-monitoring developments N A NCY GOHR ING DocID: 1xVNc - View Document
	Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel DocID: 1xVLb - View Document
	Machine Learning for Q&A sites: state of the art and research directions Xavier Amatriain Quora Inc. 650 Castro St #450 Mountain View, CA, US DocID: 1xVAM - View Document