Search Results - "Spork, Raphael"

Synthesis of synchronization using uninterpreted functions by Bloem, Roderick, Hofferek, Georg, Konighofer, Bettina, Konighofer, Robert, Auserlechner, Simon, Spork, Raphael

“…Correctness of a program with respect to concurrency is often hard to achieve, but easy to specify: the concurrent program should produce the same results as a…”
Get full text

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets by Ausserlechner, Simon, Fruhmann, Sandra, Wieser, Wolfgang, Hofer, Birgit, Spork, Raphael, Muhlbacher, Clemens, Wotawa, Franz

“…Spreadsheets are undoubtedly the most prominent example of end-user programs vastly used in practice. Spreadsheets are often complex and comprise several…”
Get full text