1111 search results - page 84 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
141
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
127
click to vote
FORTE
2008
15 years 4 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
132
Voted
ENTCS
2006
15 years 3 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
133
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
221
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...