Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
Multi-Scale Verification of Distributed Synchronisation
Paul Gainer, Sven Linker, Clare Dixon +2
Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algori…
cs.LO2018
Accelerated Model Checking of Parametric Markov Chains
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Parametric Markov chains occur quite naturally in various applications: they can be used for a conservative analysis of probabilistic systems (no matter how the parameter is chosen…
cs.LO2018
Incremental Verification of Parametric and Reconfigurable Markov Chains
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
The analysis of parametrised systems is a growing field in verification, but the analysis of parametrised probabilistic systems is still in its infancy. This is partly because it i…