The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


UnpublishedInvited - 2007


September 27, 2008

Bibliography

1

M. Giese.
Aspects of first-order reasoning in the KeY system.
Invited talk at First Order Theorem Proving (FTP), Liverpool, UK, September 2007.

2

L. Kovacs.
Automated Loop Invariant Generation by Algebraic Techniques Over the Reals.
Invited colloquium talk at Formal Methods Group, School of Computer Science, Manchester University, UK, March 2007.

3

L. Kovacs.
Polynomial invariant generation by algebraic techniques for program verification in Theorema.
Invited colloquium talk at Institut de Recherche en Informatique de Toulouse (IRIT), Paul Sabatier University, Toulouse, France, 26 March 2007.

4

L. Kovacs.
Polynomial Invariant Generation by Algebraic Techniques for Program Verification in Theorema.
Invited colloquium talk at Models and Theory of Computation, Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, February 2007.

5

L. Kovacs.
Using Symbolic Summation and Polynomial Algebra for Automated Generation of Polynomial Invariants in Theorema.
Invited colloquium talk at VERIMAG, Grenoble, France, February 2007.

Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund