Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

What are type expressions in Event-B?

April 26, 2017event-b expressions type

0

Posted

What are type expressions in Event-B?

1 Answer

0

Posted

The type expressions are defined recursively as follows: • Built-in types: ℤ, BOOL (Note that ℕ is NOT a type expressions). • Any carrier set is a type expression. • If T is a type expression then (T) is a type expression. • If S and T are type expressions then ST is a type expression.