448 search results - page 5 / 90 » A Meta-Method for Formal Method Integration |
100
Voted
DAC
1994
ACM
15 years 5 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
110
Voted
FMOODS
2007
15 years 2 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
93
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
92
Voted
CN
2002
15 years 29 days ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
102
Voted
FM
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...