With deep understanding, computer scientists can apply the evidence, to examine and make them automatically and can link the concepts of evidence and the program in depth. Software engineers have integrated the processing of evidence becomes a tool of industrial development, and implementation has now become very efficient. The chapters in books dealing with: benefits and technical challenges of formal mathematics sharing between interactive theorem provers, proof to the theory of normalization of the various axiom; abstraction-refinement framework of temporal logic model checking, formal verification in hardware design industry; machine readable semantics and examined the evidence and much more. IOS Press is an international scientific, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.