Workshop on
Automation of Proofs by Mathematical Induction
Held in Connection with
The 17th International Conference on Automated Deduction
June 17-20, 2000
Pittsburgh, Pennsylvania, U.S.A.
|
|
Home |
|
|
Call for papers |
|
|
Challenges |
Challenges
#2: Verifying Abstractions in Model Checking (revised)