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
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;
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
