1023 search results - page 133 / 205 » A Formal Method for Program Slicing |
112
click to vote
MSCS
2008
15 years 1 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
108
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
148
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
124
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
131
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...