The full LaTeX version of this announcement is available .
Formal analysis techniques are currently being applied in the design, development and assessment phases of both hardware and software. Generally, such applications do not get widespread attention, and therefore, the impression can come into existence that formal techniques are not being applied, or are not applicable to contemporary industrial problems.
In order to remedy this impression, Science of Computer Programming will in cooperation with the COST 247 project devote a special issue to applications of formal analysis techniques. Typically, contributions explain the application of the techniques to obtain insight in the functioning of systems, and assess the industrial relevance of the application. This insight can, for instance, be obtained by using (finite) state exploration tools, theorem provers or checkers, simulators or test generators. The insight can also be obtained by applying verification theory, specifying (modal) properties or transformation rules. The application of methods and techniques that enable the use of analysis techniques also falls within the scope of this special issue. This special issue is not intended for the presentation of new theory.
The length of contributions should not exceed approximately 20 pages. Detailed information is given in the full version of this announcement. A postscript version is available upon request (jfg@phil.ruu.nl).
Important Dates Deadline for submission : November 1, 1995