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
Kurzbeschreibung (Abstract)
VeriFun is a semi-automated system for the verification of functional programs. It has been used so far in an industrial IT-security project concerned with electronic payment in public networks as well as for teaching semantics and verification in university courses both at the undergraduate and at the graduate level. On the development it has been attempted to achieve a high degree of automatization, to provide the system with a clear and intuitive user interface, and to care for an transparent mode of operation, as all these features strongly support the work with a system in particular for non-expert users.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2003 |
| Autor(en): | Walther, Christoph ; Schweitzer, Stephan |
| Art des Eintrags: | Bibliographie |
| Titel: | About VeriFun |
| Sprache: | Englisch |
| Publikationsjahr: | August 2003 |
| Ort: | Berlin |
| Verlag: | Springer |
| Buchtitel: | Automated Deduction: CADE-19 (CADE 2003) |
| Reihe: | Lecture notes in computer science |
| Band einer Reihe: | 2741 |
| Veranstaltungstitel: | 19th International Conference on Automated Deduction (CADE-19) |
| Veranstaltungsort: | Miami Beach, USA |
| Veranstaltungsdatum: | 28.07.2003-02.08.2003 |
| DOI: | 10.1007/978-3-540-45085-6_28 |
| Zugehörige Links: | |
| Kurzbeschreibung (Abstract): | VeriFun is a semi-automated system for the verification of functional programs. It has been used so far in an industrial IT-security project concerned with electronic payment in public networks as well as for teaching semantics and verification in university courses both at the undergraduate and at the graduate level. On the development it has been attempted to achieve a high degree of automatization, to provide the system with a clear and intuitive user interface, and to care for an transparent mode of operation, as all these features strongly support the work with a system in particular for non-expert users. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Programmiermethodik |
| Hinterlegungsdatum: | 20 Nov 2008 08:18 |
| Letzte Änderung: | 20 Dez 2024 10:36 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum