201 search results - page 1 / 41 » Model Checking Discounted Temporal Properties |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
ICSOC
2007
Springer
13 years 10 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
WSFM
2007
Springer
13 years 10 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
WIA
2009
Springer
13 years 11 months ago
2009
Springer
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...