1322 search results - page 15 / 265 » Unsound Theorem Proving |
105
click to vote
SPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
68
Voted
FATES
2003
Springer
15 years 2 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 ...
82
Voted
FM
1999
Springer
15 years 1 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
77
Voted
KI
2009
Springer
15 years 4 months ago
2009
Springer
TPHOL
2008
IEEE
15 years 3 months ago
2008
IEEE
