2520 search results - page 78 / 504 » Model-checking behavioral programs |
98
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
113
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
100
click to vote
PADS
2009
ACM
15 years 7 months ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
120
click to vote
INTERNET
2006
15 years 20 days ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
110
Voted
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents a finding and a technique on program behavior prediction. The finding is that surprisingly strong statistical correlations exist among the behaviors of diffe...