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

Vidar Sltten, Frank Alexander Kraemer, Peter Herrmann

Browse the full GPCE paper archive.