HOL-TestGen 1.7.0 User Guide

Book English OPEN
Brucker, A.D. ; Brügger, L. ; Krieger, M.P. ; Wolff, B. (2012)
  • References (6)

    2. Preliminary Notes on Isabelle/HOL 7 2.1. Higher-order logic | HOL . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2. Isabelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

    3. Installation 9 3.1. Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.2. Installing HOL-TestGen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.3. Starting HOL-TestGen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 6. Examples 47 6.1. Max . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 6.2. Triangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 6.2.1. The Standard Work ow . . . . . . . . . . . . . . . . . . . . . . . . 50 6.2.2. The Modi ed Work ow: Using Abstract Test Data . . . . . . . . . 52

    [2] Isabelle. URL http://isabelle.in.tum.de.

    [3] MLj. URL http://www.dcs.ed.ac.uk/home/mlj/index.html.

    [4] MLton. URL http://www.mlton.org/.

    [5] Poly/ML. URL http://www.polyml.org/. [15] Achim D. Brucker and Burkhart Wol . On theorem prover-based testing. Formal Aspects of Computing, 2012. ISSN 0934-5043. URL http://www.brucker.ch/ bibliography/abstract/brucker.ea-theorem-prover-2012. A abstract test case . . . . . . . . . . . . . . . . . . . . 52 abstract test data . . . . . . . . . . . . . . . . . . 105

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    4
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    White Rose Research Online - IRUS-UK 0 4
Share - Bookmark