形式手法の概要

VDM

CSP

Z

CafeOBJ