This book deals with the reliable verification of the accuracy of approximate solutions which is one of the central problems in modern applied analysis. After giving an overview of the methods developed for models based on partial differential equations, the author derives computable a posteriori error estimates by using methods of the theory of partial differential equations and functional analysis. These estimates are applicable to approximate solutions computed by various methods.