Formal methods use mathematical models for analysis and verification at any part of the
program life-cycle. We describe the state of the art in the industrial use of formal methods …

Formal methods are mathematically based techniques for the rigorous development of
software-intensive systems. The railway signaling domain is a field in which formal methods …

Most IT experts agree that software failures occur far more often than they should despite the
fact that, for the most part, they are predictable and avoidable. It is unfortunate that most …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

An emerging class of data-intensive applications involve the geographically dispersed
extraction of complex scientific information from very large collections of measured or …

Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

Formal methods have yet to achieve wide industrial acceptance for several reasons. They
are not well integrated into established industrial software processes, their application …

In the automotive industry, the compilation and maintenance of correct product configuration
data is a complex task. Our work shows how formal methods can be applied to the validation …

Chemical methods of synthesis of materials play a crucial role in the design and discovery of
new materials, and also provide better and less cumbersome methods for preparing known …

Presents an analysis of a typical rationale used to convince engineers of the potential
usefulness of formal methods. This analysis reveals that the typical rationale is complicated …