The Practice of Standards Formalization

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=m8OBOwTDH-Q


Duration: 57:35
66 views
0

The talk presents work of the Institute for System Programming on applications of formal methods into practical software engineering. It considres applications of model based testing to Linux Standard Base, Linux driver verification, test development for mathematical libraries, some works in compiler testing.



Other Videos By Microsoft Research


2016-08-17MSR Workshop on Voting Technology - Session 3
2016-08-17MSR Workshop on Voting Technology - Session 4
2016-08-17Incentive Compatible Market Design with an Application to Matching with Wages
2016-08-17MSR Workshop on Voting Technology - Session 6
2016-08-17Decision Education Foundation: Organization and Goals
2016-08-17Abandoning Prenex Clausal Normal Form in QBF Solving
2016-08-17SocioTechnical Effects in Software Teams
2016-08-17Systems for Listening in Private, Urban, and Institutional Environments
2016-08-17Science Commons Symposium - Session 1
2016-08-17Pricing Information Cascades
2016-08-17The Practice of Standards Formalization
2016-08-17Science Commons Symposium - Session 4
2016-08-17Designing Computers in Any Way Shape or Form
2016-08-17When Quantity makes Quality: Learning with Information Constraints
2016-08-17Science Commons Symposium - Session 3
2016-08-17Syntactic translation models help for low-resource, verb final languages
2016-08-17Science Commons Symposium - Session 2
2016-08-17Networks with Positive and Negative Ties
2016-08-17How Secure Are Secure Internet Routing Protocols?
2016-08-17Large-Scale Learning by Data Compression
2016-08-17Dynamics of Information Exchange in Endogenous Social Networks


Tags:
microsoft research