Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Interpretation of Symbolic Execution with
Explicit State Updates. In: Revised Lectures,
7th International Symposium on Formal
Methods for Components and Objects (FMCO
2008). Hrsg.: de Boer, F. S.; Bonsangue, M. M.;
Madeleine, E.; Sophia-Antipolis, Frankreich,
20.-24.10.2009. Springer, 2009, S. 247-277,
(LNCS; 5751)
Farago, D.; Schmitt, P. H.: Improving Non-
Progress Cycle Checks. In: Model Checking
Institut für Theoretische Informatik
Ausgewählte Veröffentlichungen des Forschungsbereiches:
Software, 16th International SPIN Workshop.
Beiträge in Tagungsbänden
Hrsg.: Pasareanu, C. S.; Grenoble, Frankreich,
26.-28.06.2009. Heidelberg: Springer, 2009, S.
Bubel, R.; Hähnle, R.; Weiß, B.: Abstract 50-67, (LNCS; 5578)
Weiß, B.: Predicate Abstraction in a Program
Logic Calculus. In: Proceedings, 7th
International Conference on integrated Formal
Methods (iFM 2009). Hrsg.: Leuschel, M.;
Wehrheim, H.; Düsseldorf, 16.-19.02.2009.
Springer, 2009, S. 136-150, (LNCS; 5423)
169
3