Formal Specification Techniques as a Catalyst in Validation

B. K. Aichernig, A. Gerstinger, and R. Aster

Abstract:

Reference: B. K. Aichernig, A. Gerstinger, and R. Aster. Formal specification techniques as a catalyst in validation. In Proceedings of the 5^th IEEE High Assurance Systems Engineering Symposium (HASE 2000), November 15-17, Albuquerque, New Mexico, pages 203-207. IEEE, 2000.