2488 search results - page 55 / 498 » An improvement in formal verification |
112
Voted
WETICE
2005
IEEE
15 years 6 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...
188
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
93
Voted
DATE
2006
IEEE
15 years 6 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...
115
Voted
LARCH
1992
15 years 4 months ago
1992
95
Voted
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer