形式化方法
维基百科，自由的百科全书
在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。[1]将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。[2]但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。[3]
参考文献 [编辑]
- ^ R. W. Butler. What is Formal Methods?. 2001-08-06 [2006-11-16].
- ^ C. Michael Holloway. Why Engineers Should Consider Formal Methods. 16th Digital Avionics Systems Conference (27-30 October 1997). [2006-11-16].
- ^ M. Archer, C. Heitmeyer and E. Riccobene. Proving invariants of I/O automata with TAME. Automated Software Engineering, 9, 201-232 (2002).
|
||||||||||||||||||||||||||||||||||||||||||||
