词语：静态
语境：SPARK的正式和明确的定义使得多种静态分析技术在SPARK源代码的应用中成为可能。
释义：静态：以静态角度研究的。
构词方式：定中
语素1释义：静止不动。
语素2释义：形状；状态。