A new approach to temporal property verification

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


Duration: 55:18
76 views
0

I will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also sheds some light on a couple of age-old questions. This is joint work with Eric Koskinen



Other Videos By Microsoft Research


2016-08-16WiFi, Whitespace, Wireless microphones: Can They Coexist?
2016-08-16Closing the gap between weakly and fully supervised methods
2016-08-16Cloud Computing: Real-World Experiences
2016-08-16Communities, Relationships and Industries: Creating Contexts Through Social Media
2016-08-16Group Reporting and Summary
2016-08-16Making the case for ethnography as a critical dimension in media and technology studies
2016-08-16Tradeoffs Between Fundamental Complexity Measures of Propositional Proofs
2016-08-16Knowledge Ecosystems: Data-Intensive Science is More Than Speeds and Feeds
2016-08-16PARIS: Probabilistic Alignment of Relations, Instances, and Schema
2016-08-16CMA-ES ΓÇô a Stochastic Second-Order Method for Function-Value FreeNumerical Optimization
2016-08-16A new approach to temporal property verification
2016-08-16Why Nothing Matters: The Impact of Zeroing
2016-08-16Software Language Design and Engineering: Mobl & Spoofax
2016-08-16Software: Design and Performance
2016-08-16Analysing biological information processing with mechanistic modular models
2016-08-16Large-scale Retrieval with Ivory and MapReduce
2016-08-16Presentation of Jim Gray Award
2016-08-16Spanish forest dynamics: Constraining models with data
2016-08-16Real versus Realistically Rendered Ground Truth
2016-08-16How to solve a 112-bit ECDLP using game consoles
2016-08-16A First Look at a Commercial Hybrid Content Delivery System


Tags:
microsoft research