101 search results - page 1 / 21 » Abstract Interpretation Based Formal Methods and Future Chal... |
DAGSTUHL
2001
15 years 1 months ago
2001
SAS
1997
Springer
15 years 4 months ago
1997
Springer
122
click to vote
IFM
2009
Springer
14 years 10 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...
98
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
102
Voted
EXPERT
2006
15 years 11 days 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'...