491 search results - page 71 / 99 » An Interpolating Theorem Prover |
141
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
146
Voted
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
122
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians...
117
Voted
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
163
Voted
NFM
2011
14 years 10 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...