TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Walther, Christoph ; Schweitzer, Stephan (2005):
Automated termination analysis for incompletely defined programs.
pp. 332-346, 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Montevideo, Uruguay, 14.-18.03.2005, [Conference or Workshop Item]

Walther, Christoph ; Schweitzer, Stephan (2005):
Reasoning about incompletely defined programs.
pp. 427-442, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), Montego Bay, Jamaica, 02.-06.12., ISSN 978-3-540-30553-8,
DOI: 10.1007/11591191_30,
[Conference or Workshop Item]

Walther, Christoph ; Schweitzer, Stephan (2004):
Verification in the classroom.
In: Journal of Automated Reasoning, 32 (1), pp. 35-73. ISSN 0168-7433,
DOI: 10.1023/B:JARS.0000021872.64036.41,
[Article]

Walther, Christoph ; Schweitzer, Stephan (2003):
About VeriFun.
pp. 322-327, 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,
[Conference or Workshop Item]

Walther, Christoph ; Schweitzer, Stephan (2003):
A Machine-Verified Code Generator.
pp. 91-106, 10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10), Almaty, Kazakhstan, 22.-26. Sept., 2003, ISBN 978-3-540-20101-4,
DOI: 10.1007/978-3-540-39813-4_6,
[Conference or Workshop Item]

Walther, Christoph ; Schweitzer, Stephan (2002):
VeriFun user guide.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/01, [Report]

Walther, Christoph ; Schweitzer, Stephan (2002):
The VeriFun tutorial.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/04, [Report]

Walther, Christoph ; Schweitzer, Stephan (2002):
A machine supported proof of the unique prime factorization theorem.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/03, [Report]

Walther, Christoph ; Schweitzer, Stephan (2002):
A verification of binary search.
Darmstadt, Techn. Univ., Fachgebiet Programmiermethodik, VFR 02/02, [Report]

This list was generated on Tue Nov 30 03:12:33 2021 CET.