淮北师范大学学报（自然科学版）
淮北師範大學學報（自然科學版）
회북사범대학학보（자연과학판）
JOURNAL OF HUAIBEI COAL INDUSTRY TEACHERS COLLEGE(NATURAL SCIENCE)
2013年
4期
61-66
,共6页
投影时序逻辑%形式化描述%系统验证
投影時序邏輯%形式化描述%繫統驗證
투영시서라집%형식화묘술%계통험증
投影时序逻辑是一种具有离散时间模型的时序逻辑,其部分子集又是一种程序设计语言,可处理顺序和并发计算.文章讨论应用投影时序逻辑对数字系统进行形式描述和验证的方法,该方法可在数字系统的不同层级设计过程中,使用投影时序逻辑对其系统行为和性质进行形式化的描述及验证,从而提高系统设计的可信性.
投影時序邏輯是一種具有離散時間模型的時序邏輯,其部分子集又是一種程序設計語言,可處理順序和併髮計算.文章討論應用投影時序邏輯對數字繫統進行形式描述和驗證的方法,該方法可在數字繫統的不同層級設計過程中,使用投影時序邏輯對其繫統行為和性質進行形式化的描述及驗證,從而提高繫統設計的可信性.
투영시서라집시일충구유리산시간모형적시서라집,기부분자집우시일충정서설계어언,가처리순서화병발계산.문장토론응용투영시서라집대수자계통진행형식묘술화험증적방법,해방법가재수자계통적불동층급설계과정중,사용투영시서라집대기계통행위화성질진행형식화적묘술급험증,종이제고계통설계적가신성.
