{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:01Z","timestamp":1749124081060},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405597"},{"type":"electronic","value":"9783540450856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45085-6_28","type":"book-chapter","created":{"date-parts":[[2010,10,26]],"date-time":"2010-10-26T09:13:30Z","timestamp":1288084410000},"page":"322-327","source":"Crossref","is-referenced-by-count":14,"title":["About VeriFun"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Walther","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Schweitzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"http:\/\/www.informatik.tu-darmstadt.de\/pm\/verifun\/"},{"key":"28_CR2","unstructured":"Buchmann, J., Ruppert, M., Tak, M.: FlexiPKI - Realisierung einer flexiblen Public-Key-Infrastruktur. Technical Report TI-22\/99, Theoretische Informatik, Technische Universit\u00e4t Darmstadt (2003)"},{"key":"28_CR3","unstructured":"Stephan, W., Vogt, R.: FairPay - Security Engineering f\u00fcr den elektronischen Zahlungsverkehr. In: Jantke, K.P., Wittig, W.S., Herrmann, J. (eds.) Von e-Learning bis e-Payment - Tagungsband LIT 2002, Berlin (2003). Akademische Verlagsgesellschaft"},{"key":"28_CR4","unstructured":"Walther, C., Schweitzer, S.: A Machine Supported Proof of the Unique Prime Factorization Theorem. Technical Report VFR 02\/03, Programmiermethodik, Technische Universit\u00e4t Darmstadt (2002)"},{"key":"28_CR5","unstructured":"Walther, C., Schweitzer, S.: The $\\checkmark$ eriFun Tutorial. Technical Report VFR 02\/04, Programmiermethodik, Technische Universit\u00e4t Darmstadt (2002)"},{"key":"28_CR6","unstructured":"Walther, C., Schweitzer, S.: $\\checkmark$ eriFun User Guide. Technical Report VFR 02\/01, Programmiermethodik, Technische Universit\u00e4t Darmstadt (2002)"},{"key":"28_CR7","unstructured":"Walther, C., Schweitzer, S.: Verification in the Classroom. Technical Report VFR 02\/05, Programmiermethodik, Technische Universit\u00e4t Darmstadt (2002)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Walther, C., Schweitzer, S.: A Machine-Verified Code Generator. Technical Report VFR 03\/01, Programmiermethodik, Technische Universit\u00e4t Darmstadt (2003)","DOI":"10.1007\/978-3-540-39813-4_6"},{"key":"28_CR9","unstructured":"Walther, C., Schweitzer, S.: A Verification of Binary Search. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning: Techniques, Tools and Applications. LNCS (LNAI), vol.\u00a02605, pp. 1\u201318. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-19"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45085-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T18:12:13Z","timestamp":1559758333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45085-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405597","9783540450856"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45085-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}