2488 search results - page 128 / 498 » An improvement in formal verification |
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
103
Voted
IGARSS
2010
14 years 10 months ago
2010
95
Voted
AVBPA
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we propose an algorithm that can easily be implemented on small form factor devices to perform illumination normalization in face images captured under vari...
95
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
128
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...