A Comprehensive Formalization of AADL with Behavior Annex

Figure 24

Big-step semantics of Action in Isabelle/HOL.