2875 search results - page 368 / 575 » Model checking agentspeak |
168
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
193
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
168
click to vote
ICDCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
151
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
152
click to vote
FMCAD
2007
Springer
16 years 19 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...