2514 search results - page 18 / 503 » The use of industrial-strength formal methods |
CAV
2004
Springer
15 years 7 months ago
2004
Springer
120
Voted
LARCH
1992
15 years 6 months ago
1992
102
Voted
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
100
click to vote
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
105
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...