When Can Formal Methods Make a Real Difference?

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=_dsQlhWJIXw


Duration: 1:04:31
63 views
1

This talk will consider a few cases from the ACM Risks Forum archives (http://www.risks.org) for which the sensible use of formal methods could have made a decisive difference in avoiding serious consequences -- with respect to requirements, specifications, human interfaces, implementation, and even operation, typically in systems that were supposedly safe, reliable, or secure. This will provide a view to the future in terms of things we can learn about the past.



Other Videos By Microsoft Research


2016-09-05Dartmouth Digital Dorm          
2016-09-05A CLP Approach to Modelling Systems
2016-09-05Dynamosaics: Dynamic Mosaics with Non-Chronological Time
2016-09-05Automatic Failure Diagnosis in Large-Scale Systems
2016-09-05The Economics of Software Dependability
2016-09-05An Overview of Recent CMU Research on Model-Based Face Processing
2016-09-05Resource acquisition via an unsupervised WSD system
2016-09-05Fast Infinite-State Model Checking in Integer-Based Systems
2016-09-05WeΓÇÖre Friends, Right?: Inside KidsΓÇÖ Culture [1/4]
2016-09-05Accelerated Democracy: How technology might change voting
2016-09-05When Can Formal Methods Make a Real Difference?
2016-09-05Dynamic Semantics of Programming Languages and Applications to Testing
2016-09-05Error Detection using Shape Analysis with Local Reasoning
2016-09-05Type-Safe, Generative, Binding Macros
2016-09-05Social Network Analysis meets the Semantic Web: What FOAF Reveals About LiveJournal
2016-09-05Distributed Multi-robot Exploration and Mapping
2016-09-051.Vision: Extraordinary Computing Experiences & 2. Robots for the Masses: Fiction or Reality
2016-09-05Modeling and Facilitating Human Communication [1/5]
2016-09-05Reducing Errors in Computer Recognition of Handwritten Material
2016-09-05Information wants to be free (but is everywhere in chains)
2016-09-05The art and technology of electronic textiles


Tags:
microsoft research