FORM THE REQUIREMENT DESCRIPTION OF PROPOSITIONAL LOGIC TO FORMAL SPECIFICATION OF STATE TRANSITION SYSTEM

• 从命题逻辑的需求描述到状态转移图的形式规格