On the purpose of Event-B proof obligations

ISSN： 0934-5043

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

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

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

Using Event-B to construct instruction set architectures

By Wright Stephen

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

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

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments

International Journal of Ambient Computing and Intelligence (IJACI), Vol. 8, Iss. 1, 2017-01 ,pp. : 1-22

IGI Global_journal

Access to resources Recommend Favorite