Introducing Fairness into Compositional Verification via Unidirectional Counters

Siirtola, AnttiAnttiSiirtolaPuhakka, AnttiAnttiPuhakkaLüttgen, GeraldGeraldLüttgen0000-0002-0925-48702019-09-192013-02-142012978-0-7695-4709-1https://fis.uni-bamberg.de/handle/uniba/839engIntroducing Fairness into Compositional Verification via Unidirectional Countersconferenceobjecthttp://www.swt-bamberg.de/luettgen/publications/pdf/ACSD2012.pdf