Abstract
The dream of software developers is a debugging tool that automatically finds all the potential errors in a quite readable and easy-to-locate format. In particular, this is sought desired by developers of concurrent programs for critical systems, such as control or communication systems. The unpredictable nature of this software and its large amount of potential behaviors makes it very prone to errors. Fortunately, the development of verification techniques during the last 20 years currently has motivated promising projects to obtain powerful tools. This paper summarizes the view of the past evolution and the current trend in this field.
Get full access to this article
View all access options for this article.