Trends in Software Synthesis Bernd Finkbeiner

News

Reading Session this Week

Written: 10.11.2015 11:26 Written By: Hazem Torfah

Dear Students, 

for the reading session on Thursday we also recommend to take a look at this paper:

http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.pdf

Interesting is for example Section 6 for details on Synthesis for Linear Integer Arithmetic.

See you on Thursday



If you encounter technical problems, please contact the administrators