Browsing Centres Science and Engineering by Author "Beg, Arshad"

Now showing items 1-2 of 2

Linking a "state-rich" process algebra to a "state-free" process algebra to verify software / hardware implementations

Beg, Arshad; Butterfield, Andrew (2010)

Following the development of formalisms based on data and behavioural aspects of the system, there are number of attempts in which these two formalisms are mixed together to get benefit of both paradigms. 'Circus' being a ...
Modelling flash devices with FDR: progress and limits

Beg, Arshad; Butterfield, Andrew (2010)

We present our experience of working with the Failures-Divergence Refinement (FDR) toolkit while extending our modelling of the behaviour of Flash Memory. This effort is a step towards the low-level modelling of data-storage ...

Now showing items 1-2 of 2

Search DSpace