Using Event-B to construct instruction set architectures

Author： Wright Stephen  

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.1, 2011-01, pp. : 73-89

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On the purpose of Event-B proof obligations

By Hallerstede Stefan  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 133-150

Springer Publishing Company

Access to resources Recommend Favorite

The behavioural semantics of Event-B refinement

By Schneider Steve   Treharne Helen   Wehrheim Heike  

Formal Aspects of Computing, Vol. 26, Iss. 2, 2014-03 ,pp. : 251-280

Springer Publishing Company

Access to resources Recommend Favorite

Diagnosis of Discrete Event Systems Using Decentralized Architectures

By Wang Yin   Yoo Tae-Sic   Lafortune Stéphane  

Discrete Event Dynamic Systems, Vol. 17, Iss. 2, 2007-06 ,pp. : 233-263

Springer Publishing Company

Access to resources Recommend Favorite

Retrenchment for Event-B: UseCase-wise development and Rodin integration

By Banach Richard  

Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. : 113-131

Springer Publishing Company

Access to resources Recommend Favorite

Derivation of concurrent programs by stepwise scheduling of Event-B models

By Boström Pontus   Degerlund Fredrik   Sere Kaisa   Waldén Marina  

Formal Aspects of Computing, Vol. 26, Iss. 2, 2014-03 ,pp. : 281-303

Springer Publishing Company

Access to resources Recommend Favorite