2702 search results - page 9 / 541 » Practically Applicable Formal Methods |
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
WETICE
2005
IEEE
15 years 3 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
100
click to vote
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...