Model verification in λΣ: a type inference approach


In this paper we describe a number of model analysis and verification operations based on type inference in the Xa simulation language. Ag is a simulation language based on the typed X-calculus. Xa entities correspond to typed X-expressions, while Xa activities correspond to subtypes. Thus, entities can be generated by means of type-introduction rules, and… (More)


1 Figure or Table