796 search results - page 46 / 160 » An Overview of Separation Logic |
81
Voted
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
100
Voted
APVIS
2001
15 years 2 months ago
2001
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
109
Voted
AC
2005
Springer
15 years 18 days ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
89
Voted
SYNTHESE
2008
15 years 18 days ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...