783 search results - page 68 / 157 » Compositional Reasoning in Model Checking |
MLMTA
2003
13 years 11 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
EDOC
2008
IEEE
14 years 4 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
PPDP
2009
Springer
14 years 4 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
LICS
1997
IEEE
14 years 2 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
JLP
2011
13 years 5 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...