2875 search results - page 205 / 575 » Model checking agentspeak |
140
Voted
MOC
2002
15 years 3 months ago
2002
The mortar technique turns out to be well adapted to handle mesh adaptivity in finite elements, since it allows for working with nonnecessarily compatible discretizations on the el...
143
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
138
click to vote
FUIN
2010
15 years 24 days ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
227
Voted
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
133
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...