A Comprehensive Formalization of AADL with Behavior Annex

Figure 23

Big-step semantics of transition in Isabelle/HOL.