1023 search results - page 131 / 205 » A Formal Method for Program Slicing |
104
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
103
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
109
click to vote
LOBJET
2000
15 years 1 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
114
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
128
Voted
WWW
2006
ACM
16 years 2 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...