8828 search results - page 2 / 1766 » Formal methods in practice |
FM
2009
Springer
14 years 9 days 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...
SOFSEM
2010
Springer
14 years 2 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...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
JUCS
2007
13 years 5 months ago
2007
IFIP
1994
Springer
13 years 9 months ago
1994
Springer