1322 search results - page 15 / 265 » Unsound Theorem Proving |
SPC
2005
Springer
14 years 29 days 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 ...
FATES
2003
Springer
14 years 21 days 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 ...
FM
1999
Springer
13 years 11 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...
KI
2009
Springer
14 years 2 months ago
2009
Springer
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
