left

Frequently Asked Questions (FAQ)

right
AProVE Help SystemFrequently Asked Questions (FAQ)

  1. Q: AProVE crashes on me saying "OutOfMemoryError". What can I do?

    A: If AProVE crashes because of not enough memory, you should start AProVE with the -XmxNm option which allows java and therefore AProVE to use N megabytes of memory. For example,

    java -Xmx512m -jar AProVE.jar
    starts AProVE with a memory limit of 512 megabytes. Without this option the default limit is used which is quite low.

  2. Q: Why is AProVE that good?

    A: Because it is the best automatic termination prover in the world in 2004.

  3. Q: Will AProVE get any better?

    A: We sincerely hope so. Right now, we are training 110 students in the term rewriting lecture. See question 5.

  4. Q: How much coffee was necessary to develop AProVE?

    A: Although our department owns an RAIC (redundant array of inexpensive coffee machines), there is no explicit statistics available. We apologize for the inconvenience. Anyway, "a mug per LOC" is probably a realistic approximation.

  5. Q:Did you rely on slave labor?

    A: All work, no play, makes jack a dull boy.