Synthesis in Software Enginnering and Biology

סינתזה של תוכנה
 

תיאור הפרויקט: 

The goal of synthesis is given a specification of a program to derive automatically an implementation of the program that is correct by construction. The focus of the project will be to evaluate and try to improve the applicability of existing synthesis based method to construct simple software programs or derive models of biological programs given known experimental measurements

תכולת הפרויקט:

Applying, tuning and improving existing synthesis methods to derive simple software programs or study biological programs

דרישות:

Good programming skills, interest to learn about formal synthesis methods, taking course 83691 Formal Verification and Synthesis in parallel to project

מקורות:

Recent Challenges and Ideas in Temporal Synthesis. O. Kupferman, SOFTSEM’12. Controller Synthesis from LSC Requirements. H. Kugler, C. Plock, and A. Pnueli. FASE'09