5863 search results - page 265 / 1173 » On Model-Checking of P Systems |
180
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
300
click to vote
SP
2006
IEEE
16 years 1 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
187
click to vote
ATVA
2005
Springer
16 years 24 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
198
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
207
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...