2451 search results - page 5 / 491 » The Octagon Abstract Domain |
FAC
2008
14 years 10 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
JNSM
2000
14 years 10 months ago
2000
Abstract-A mechanism for the estimation of the available bandwidth between two end-points of a best-effort network is presented. The estimation is obtained by a simple statistical ...
CSUR
2000
14 years 10 months ago
2000
t abstractions of a particular domain. Any system built from components
ICALP
2011
Springer
14 years 1 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...