2881 search results - page 160 / 577 » Model Checking for Programming Languages using Verisoft |
142
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
167
click to vote
ENTCS
2010
15 years 6 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
164
Voted
AOSD
2012
ACM
14 years 1 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
153
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
223
click to vote
ESORICS
2012
Springer
13 years 8 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...