1833 search results - page 19 / 367 » Mechanized Verification with Sharing |
200
click to vote
POPL
2007
ACM
16 years 29 days ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
71
Voted
SP
2000
IEEE
15 years 5 months ago
2000
IEEE
The law of Conservation of Flow, which states that an input must either be absorbed or sent on as an output (possibly with modification), is an attractive tool with which to analy...
AAAI
1990
15 years 1 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
101
Voted
CIAC
2010
Springer
15 years 10 months ago
2010
Springer
The problem of sharing the cost of a common infrastructure among a set of strategic and cooperating players has been the subject of intensive research in recent years. However, mos...
103
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
High efficiency in capacity utilization and fast restoration are two primary goals of survivable design in optical networks. Shared backup path protection has been shown to be effi...