1463 search results - page 2 / 293 » Model Checking Implicit-Invocation Systems |
CORR
2011
Springer
12 years 9 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
ATVA
2005
Springer
13 years 11 months ago
2005
Springer
ICFEM
2010
Springer
13 years 2 months ago
2010
Springer
TOCL
2012
11 years 8 months ago
2012
IJSEKE
2011
12 years 9 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...