On the Automatic Verification of Dynamic/Parametrized Systems

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


Duration: 1:15:30
60 views
1

We give an overview on automatic verification of infinite-state systems in general and in particular of dynamic/parametrized networks of processes. We present (some of) the main existing approaches based on symbolic techniques with automata/logic based formalisms for reasoning about infinite sets of configurations. We show the application of the presented techniques in the verification of various classes of systems/programs (such as concurrent programs with dynamic creation of processes, programs with dynamic heaps, programs with arrays, etc.). The talk refers to recently published work, as well as to on-going work.



Other Videos By Microsoft Research


2016-09-06The Myths of Innovation
2016-09-06Innovation Challenges KeyNote Kickoff
2016-09-06Natural Logic and Alignment in Natural Language Inference
2016-09-06A Component Language for Structured Concurrent Programming
2016-09-06First-Order Probabilistic Inference
2016-09-06Globally Optimized Robust System Design
2016-09-06Tools and Strategies for Building the Semantic Desktop
2016-09-06Behind the Code with Rebecca Norlander
2016-09-06City at the End of Time
2016-09-06Research challenges in P2P networking
2016-09-06On the Automatic Verification of Dynamic/Parametrized Systems
2016-09-06Warp Processing -- Dramatically Speeding up Programs by Dynamically Moving them to FPGAs
2016-09-06Distant Speech Recognition: No Black Boxes Allowed
2016-09-06Acoustic Signal Processing for Next-Generation Multichannel Human/Machine
2016-09-06Semantic Coding [1/10]
2016-09-06Monitoring Atomicity in Concurrent Programs
2016-09-06Two-dimensional mod p Galois representations attached to modular forms
2016-09-06Pervasive Technologies for Health: a Focus on the Human
2016-09-06Web 3.0, Linked Data, and the Semantic Web: What's this all about?
2016-09-06Model Checking Transactional Memories
2016-09-06Traffic: Why We Drive the Way We Do and what it says About Us


Tags:
microsoft research