Titlebook: Abstract State Machines, B and Z; First International Egon B?rger,Michael Butler,Paul Boca Conference proceedings 2008 Springer-Verlag Ber

無(wú)力更進(jìn)

J?rg Frauendiener,Salvatore Vultaggioevent fusion (over intersecting state variable lists). A brief motivation is provided for these and other forms of composition of models, in terms of feature-based modelling. We show that model consistency is preserved under such compositions. More significantly we show that model composition preserves refinement.

BANAL

我說(shuō)不重要

牽索

Ibd810

Ornithologist

雜色

財(cái)產(chǎn)

爭(zhēng)吵

E. Prema,R. Vijaya Bharathi,V. Shyam SundarThis paper is a reprise of a paper presented at ZB2000 that attempted to reconcile the worlds of model-based and axiomatic specification. The new paper uses the same problem, but treats it very differently in Event?B. The development also serves as a short tutorial example in Event?B.

Ordeal

https://doi.org/10.1007/978-3-540-87603-8B method; abstract state machines; access control; automatic verification; complex systems; cryptography;