101 search results - page 1 / 21 » Abstract Interpretation Based Formal Methods and Future Chal... |
DAGSTUHL
2001
13 years 6 months ago
2001
SAS
1997
Springer
13 years 9 months ago
1997
Springer
IFM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
VMCAI
2010
Springer
13 years 11 months ago
2010
Springer
EXPERT
2006
13 years 4 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...