2005

Walther, Christoph ; Schweitzer, Stephan (2005)
Automated termination analysis for incompletely defined programs.
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004). Montevideo, Uruguay (14.03.2005-18.03.2005)
Konferenzveröffentlichung, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2005)
Reasoning about incompletely defined programs.
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005). Montego Bay, Jamaica (02.12.2005-06.12.2005)
doi: 10.1007/11591191_30
Konferenzveröffentlichung, Bibliographie

2004

Walther, Christoph ; Schweitzer, Stephan (2004)
Verification in the classroom.
In: Journal of Automated Reasoning, 32 (1)
doi: 10.1023/B:JARS.0000021872.64036.41
Artikel, Bibliographie

2003

Walther, Christoph ; Schweitzer, Stephan (2003)
About VeriFun.
19th International Conference on Automated Deduction (CADE-19). Miami Beach, USA (28.07.2003-02.08.2003)
doi: 10.1007/978-3-540-45085-6_28
Konferenzveröffentlichung, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2003)
A Machine-Verified Code Generator.
10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10). Almaty, Kazakhstan (22.09.2003-26.09.2003)
doi: 10.1007/978-3-540-39813-4_6
Konferenzveröffentlichung, Bibliographie

2002

Walther, Christoph ; Schweitzer, Stephan (2002)
VeriFun user guide.
Report, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
The VeriFun tutorial.
Report, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
A machine supported proof of the unique prime factorization theorem.
Report, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
A verification of binary search.
Report, Bibliographie