ASIAN
15 years 21 days ago
2006 Springer 
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
102
click to vote
ASIAN
15 years 21 days ago
2006 Springer 
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
ASIAN
15 years 21 days ago
2006 Springer 
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
ASIAN
15 years 21 days ago
2006 Springer 
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
ASIAN
15 years 21 days ago
2006 Springer  |
Algorithms