Tutorial I Syntax-guided synthesis

These tutorials discusses the following: Syntax-Guided Synthesis; Firmware Validation Challenges and Opportunities; Secure Programs via Game-based Synthesis; and Network Programming in Frenetic.

Saved in:
Bibliographic Details
Published in2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) pp. 189 - 194
Main Authors Alur, Rajeev, Grundy, Jim, Jha, Somesh, Reps, Tom, Harris, Bill, Foster, Nate, Guha, Arjun, Reitblatt, Mark, Schlesinger, Cole
Format Conference Proceeding
LanguageEnglish
Published Washington, DC, USA IEEE Computer Society 01.10.2013
ACM
SeriesACM Conferences
Subjects
Awards activities
Computer languages
Computers
Educational institutions
Software
Tutorials
Online AccessGet full text

Cover

More Information
Summary:These tutorials discusses the following: Syntax-Guided Synthesis; Firmware Validation Challenges and Opportunities; Secure Programs via Game-based Synthesis; and Network Programming in Frenetic.
ISBN:9781479909056
147990905X
9781479909032
1479909033
DOI:10.5555/3041405.3041501