4341 search results - page 76 / 869 » Quantitative Model checking |
132
click to vote
ICTAC
2009
Springer
14 years 12 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
130
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
121
click to vote
OOPSLA
2010
Springer
15 years 2 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
ENTCS
2006
15 years 2 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
