1914 search results - page 173 / 383 » Verification by Abstract Interpretation |
109
click to vote
ENTCS
2008
15 years 28 days ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
120
click to vote
FAC
2000
15 years 20 days ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
127
click to vote
CCS
2010
ACM
14 years 11 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
116
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
114
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...