• DocumentCode
    646980
  • Title

    Tutorial I: Syntax-guided synthesis

  • Author

    Alur, Rajeev ; Grundy, John ; Jha, Somesh ; Reps, Tom ; Harris, Bill ; Foster, Nate ; Guha, Arjun ; Reitblatt, Mark ; Schlesinger, Cole

  • Author_Institution
    Univ. of Pennsylvania, Philadelphia, PA, USA
  • fYear
    2013
  • fDate
    18-20 Oct. 2013
  • Firstpage
    189
  • Lastpage
    194
  • Abstract
    These tutorials discusses the following: Syntax-Guided Synthesis; Firmware Validation Challenges and Opportunities; Secure Programs via Game-based Synthesis; and Network Programming in Frenetic.
  • Keywords
    computational linguistics; firmware; game theory; program verification; programming languages; security of data; software engineering; Frenetic; firmware validation; game-based synthesis; network programming; secure programs; syntax-guided synthesis; Awards activities; Computer languages; Computers; Educational institutions; Software; Tutorials;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
  • Conference_Location
    Portland, OR
  • Print_ISBN
    978-1-4799-0903-2
  • Type

    conf

  • Filename
    6670958
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=646980