1601 search results - page 8 / 321 » The affordable application of formal methods to software eng... |
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
TSE
2002
13 years 7 months ago
2002
WETICE
2005
IEEE
14 years 1 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...
HICSS
2007
IEEE
14 years 2 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...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
