Integration of Automatic Theorem Provers in Event-B Patterns

Elsayed, Eman K.; Elsharawy, Gaber; El-Sharawy, Enas E.

doi:10.5121/ijsea.2013.4103

Search citation statements

Order By: Relevance

Paper Sections

Select...

Other1

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2021

Publication Types

Select...

Article1

Book1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Pattern in Event b is to have a systematic approach to reuse the previous developments (referred to as patterns) in a new development. The approach of pattern is a tool for building domain models for the inexperienced designer [15]. The proofs of the pattern can be reused also.…”

Section: T H E T H I R D P H a S E C O N V E R T S M O D E L T O C O mentioning

confidence: 99%

“…It was shown that for the special case of a model that does not see any context and its events do not have any parameters, the generation of a refinement of the problem at hand is correct by construction and no proof obligation needs to be generated again. The correctness of the construction relies on a correct matching of the pattern with the problem [15].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation