Constraint Based Program Synthesis for Embedded Software
In the world that we live in today, we greatly rely on software in nearly every aspect of our lives. In many critical applications, such as in transportation and medical systems, catastrophic consequences could occur in case of buggy software. As the computational power and storage capacity of compu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Virginia Tech
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/55120 |