4340 search results - page 55 / 868 » Formal Methods and Cryptography |
169
click to vote
TII
2008
15 years 3 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
110
Voted
HICSS
2007
IEEE
15 years 9 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...
101
click to vote
ITP
2010
15 years 7 months ago
2010
Abstract. Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive...
113
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
110
click to vote
ICSE
1994
IEEE-ACM
15 years 7 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...