1027 search results - page 180 / 206 » Callgraph properties of executables |
145
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
138
click to vote
TECS
2010
15 years 2 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
124
click to vote
FAC
2010
15 years 1 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
150
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
232
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...