10038 search results - page 45 / 2008 » Model Checking for Managers |
ICSOC
2007
Springer
15 years 6 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...
120
click to vote
GVD
2004
15 years 1 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
AUSAI
2005
Springer
15 years 5 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
124
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
The Uniļ¬ed Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...