571 search results - page 21 / 115 » Performing causality analysis by bounded model checking |
IFM
2009
Springer
15 years 6 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
123
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— For an Estimation Based Multiple Model Switched Adaptive Control (EMMSAC) algorithm controlling a MIMO minimal LTI plant, lp, 1 ≤ p ≤ ∞ bounds on the gain from the input ...
109
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
108
click to vote
ECBS
2007
IEEE
15 years 3 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...