About verifun

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2741, Issue , 2003, Pages 322-327

  Walther, Christoph ^a   Schweitzer, Stephan ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY OF DATA; SEMANTICS; THEOREM PROVING; USER INTERFACES; CURRICULA; INFORMATION TECHNOLOGY; PROJECT MANAGEMENT; TEACHING; TRANSPARENCY;

ELECTRONIC PAYMENT; FUNCTIONAL PROGRAMS; GRADUATE LEVELS; INTUITIVE USER INTERFACE; MODE OF OPERATIONS; PUBLIC NETWORKS; SEMI-AUTOMATED SYSTEMS; UNIVERSITY COURSE; ELECTRONIC PAYMENTS; IT SECURITY; SEMI-AUTOMATED SYSTEM; VERIFICATION;

AUTOMATION; LOGIC PROGRAMMING;

EID: 7044224187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45085-6_28     Document Type: Conference Paper

References (9)

1. http://www.informatik.tu-darmstadt.de/pm/verifun/.
2. J. Buchmann, M. Ruppert, and M. Tak. FlexiPKI -Realisierung einer flexiblen Public-Key-Infrastruktur. Technical Report TI-22/99, Theoretische Informatik, Technische Universität Darmstadt, 2003.
3. W. Stephan and R. Vogt. FairPay -Security Engineering für den elektronischen Zahlungsverkehr. In K. P. Jantke, W. S. Wittig, and J. Herrmann, editors, Von e-Learning bis e-Payment -Tagungsband LIT’02, Berlin, 2003. Akademische Verlagsgesellschaft.
4. C. Walther and S. Schweitzer. A Machine Supported Proof of the Unique Prime Factorization Theorem. Technical Report VFR 02/03, Programmiermethodik, Technische Universität Darmstadt, 2002.
5. C. Walther and S. Schweitzer. The VeriFun Tutorial. Technical Report VFR 02/04, Programmiermethodik, Technische Universität Darmstadt, 2002.
6. C. Walther and S. Schweitzer. VeriFun User Guide. Technical Report VFR 02/01, Programmiermethodik, Technische Universität Darmstadt, 2002.
7. C. Walther and S. Schweitzer. Verification in the Classroom. Technical Report VFR 02/05, Programmiermethodik, Technische Universität Darmstadt, 2002.
8. C. Walther and S. Schweitzer. A Machine-Verified Code Generator. Technical Report VFR 03/01, Programmiermethodik, Technische Universität Darmstadt, 2003.
9. C. Walther and S. Schweitzer. A Verification of Binary Search. In D. Hutter and W. Stephan, editors, Mechanizing Mathematical Reasoning: Techniques, Tools and Applications, volume 2605 of LNAI, pages 1-18. Springer-Verlag, 2003.