Artikel

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

Konferenzveröffentlichung

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.-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.-06.12.)
doi: 10.1007/11591191_30
Konferenzveröffentlichung, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2003)
About VeriFun.
19th International Conference on Automated Deduction (CADE-19). Miami Beach, USA (28.07.-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.-26. Sept., 2003)
doi: 10.1007/978-3-540-39813-4_6
Konferenzveröffentlichung, Bibliographie

Report

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