3342 search results - page 9 / 669 » Automating Abstract Interpretation |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
ISMIS
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
ITP
2010
13 years 12 months ago
2010
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
ENTCS
2008
13 years 10 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L