2872 search results - page 419 / 575 » On (Omega-)Regular Model Checking |
195
click to vote
QEST
2007
IEEE
16 years 20 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
153
click to vote
RSP
2007
IEEE
16 years 20 days ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
169
click to vote
ASIAN
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
183
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
183
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...