Model for Parallel Verification of Programs

Program verification is a major concern and challenge to our highly computer-dependent societies. Under a closed environment, this paper explores proof reusing and organizing methodology. After making some extension to Hoare´s convention, and defining the verification task, we present a model suitable for verifying numerous programs simultaneously.