Search

Now showing items 1-1 of 1

Analysis Software for Model Checking Edinburgh Buses

Reijsbergen, Daniel; Gao, Wulinjian

This software is supplementary material for the paper 'An automated methodology for analysing urban transportation systems using model checking' by Daniël Reijsbergen and Stephen Gilmore. It was used to construct the figures ...