Title :
COMPASS ´95. Proceedings of the Tenth Annual Conference on Computer Assurance
Abstract :
The following topics were dealt with: testing; analysis and formal development of safety-critical systems; safety kernels; tools for tabular formal specification methods; application of formal methods; safety and security issues in developing and operating intelligent transportation; algorithms for critical systems; standards and processes for critical systems; and formal verification, design and documentation
Keywords :
formal specification; formal verification; program testing; safety-critical software; security of data; software reliability; software standards; software tools; algorithms; computer assurance; design; documentation; formal development; formal verification; intelligent transportation; safety kernels; safety-critical systems; security; software tools; standards; tabular formal specification methods; testing;
Conference_Titel :
Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on
Conference_Location :
Gaithersburg, MD, USA
Print_ISBN :
0-7803-2680-2
DOI :
10.1109/CMPASS.1995.521881
