This technical report contains the formal definitions and metatheory for the act specification and verification language. It documents the syntax, the operational pointer semantics, the type system and the main metatheoretic results (type-safety).

翻译：本技术报告包含了act规范与验证语言的形式化定义和元理论。它记录了该语言的语法、操作指针语义、类型系统以及主要的元理论结果（类型安全性）。