Synthesis from Hyperproperties
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore the reactive synthesis problem for hyperproperties in this 31-minute talk by Bernd Finkbeiner from CISPA. Delve into the generalization of trace properties to sets of sets of traces, examining information-flow policies like noninterference. Discover how synthesis from hyperproperties encompasses various classical reactive synthesis variations, including synthesis under incomplete information and distributed synthesis. Learn about the application of compositional synthesis in distributed systems, where information-flow assumptions between components are captured as hyperproperties. Understand the undecidability of general synthesis from hyperproperties and examine a semi-decision procedure for constructing implementations within given bounds. Investigate a practical method utilizing standard synthesis to find permissive overapproximations of implementations, followed by refinement to satisfy hyperproperties.