2520 search results - page 317 / 504 » Model-checking behavioral programs |
117
click to vote
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
116
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
126
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
143
click to vote
SOSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
110
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...