Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques

The following topics were dealt with: what does industry need from formal specification techniques?; selection criteria for automated TTCN test case generation from SDL; using the SCR* toolset to specify software requirements; applying SOFL to specify a railway crossing controller for industry; adding real-time filters to object-oriented specification of time-critical systems; formal techniques for automatically generating marshalling code from high-level specifications; integrating formal and informal specification techniques (why and how); formal methods for developing high-assurance computer systems; a discussion about integrated techniques; the industrial use of formal methods (was Darwin right?); AETG^SM Web (a Web-based service for automatic efficient test generation from functional requirements); T-VEC^TM product summary; implementing Statecharts in Promela/SPIN; reasoning with UML class diagrams; a tool for automatic test generation from SDL specifications; transferring formal methods technology to industry; incorporating formal methods into industrial processes; requirements for industrial-strength formal method tools; and "pushbutton" analysis via integration of industrial tools with formal validation.