LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Brucker, A.D.; Brügger, L.; Krieger, M.P.; Wolff, B. (2012)
Languages: English
Types: Book
Subjects:
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 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
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article