1027 search results - page 8 / 206 » Callgraph properties of executables |
142
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
134
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
117
click to vote
ICSOC
2003
Springer
15 years 7 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
109
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
113
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...