University of Cambridge > Talks.cam > Microsoft Research Cambridge, general interest public talks > From Verification to Synthesis

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

From Verification to Synthesis

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

Abstract: One of the most significant developments in the area of design verification over the last decade is the development of algorithmic methods for verifying temporal specification of finite-state designs. A frequent criticism against this approach, however, is that verification is done after significant resources have already been invested in the development of the design. Since designs invariably contains errors, verification simply becomes part of the debugging process. The critics argue that the desired goal is to use the specification in the design development process in order to guarantee the development of correct designs. This is called design synthesis. In this talk I will review 50 years of research on the synthesis problem, describe the automata-theoretic approach developed to solve this problem, and address current challenges.

Host: Byron Cook – Microsoft Research Ltd

This talk is part of the Microsoft Research Cambridge, general interest public talks series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Clare College Graduate Research Forum Stem Cell Seminars and Events in Cambridge Introduction to Molecular Biology Techniques

Other talks

'Cambridge University, Past and Present' Uncertainty Quantification of geochemical and mechanical compaction in layered sedimentary basins MEMS Particulate Sensors St Catharine’s Political Economy Seminar - ‘Technological Unemployment: Myth or Reality’ by Robert Skidelsky Liberalizing Contracts: Nineteenth Century promises through literature, law and history Numerical solution of the radiative transfer equation with a posteriori error bounds A feast of languages: multilingualism in neuro-typical and atypical populations Café Synthetique: Graduate Talks! Structural basis for human mitochondrial DNA replication, repair and antiviral drug toxicity "The integrated stress response – a double edged sword in skeletal development and disease" Genomic Approaches to Cancer
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity