This white-paper reports on benchmark measurements performed for the alternative model-checking backends of the contract specification language GTL. The GTL has been developed in context of the VerSyKo project. The considered backends are the model-checking tools SPIN and UPPAAL. The objective of this document is to compare their performance with respect to time and memory consumption for equivalent inputs.
M. Oliver Möller: Benchmark Analysis of GTL-Backends using Client-Server Mutex. Time and memory consumption of model-checking tools SPIN and UPPAAL.
This document was published in the Verified Systems International GmbH white-paper series. (Doc.Id.: Verified-WHITEPAPER-001-2012 Issue 1.2. February 2012)