5863 search results - page 10 / 1173 » On Model-Checking of P Systems |
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
ECAI
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
