Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study

Vidar Sl├ątten, Frank Alexander Kraemer, Peter Herrmann. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. In Ewen Denney, Ulrik Pagh Schultz, editors, Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011. pages 147-156, ACM, 2011. [doi]

Abstract

Abstract is missing.