5863 search results - page 86 / 1173 » On Model-Checking of P Systems |
107
Voted
CONEXT
2007
ACM
15 years 4 months ago
2007
ACM
85
Voted
PPNA
2010
14 years 11 months ago
2010
101
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
104
Voted
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
86
Voted
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...