Sciweavers

Share
ACSD
2001
IEEE

Correct Performance of Transaction Capabilities

11 years 12 months ago
Correct Performance of Transaction Capabilities
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allow certain actions to be executed in any order. It is demonstrated how this correctness can be checked by a combination of an automated test of branching bisimulation and a manual test of commutation. Using this approach, two bugs in the design were found and eliminated.
Thomas Arts, Izak van Langevelde
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where ACSD
Authors Thomas Arts, Izak van Langevelde
Comments (0)
books