Formal Method
636
浏览
0
关注

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the formal specification|specification, development and formal verification|verification of software and computer hardware|hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic in computer science|logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
主要的会议/期刊
演化趋势
Chart will load here
Formal Method文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜