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

无力更进

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

我说不重要

牵索

Ibd810

Ornithologist

杂色

财产

争吵

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;