Introducing Fairness into Compositional Verification via Unidirectional Counters

Antti Siirtola, Antti Puhakka, Gerald Lüttgen. Introducing Fairness into Compositional Verification via Unidirectional Counters. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 32-41, IEEE, 2012. [doi]

Abstract

Abstract is missing.