3342 search results - page 18 / 669 » Symbolic Robustness Analysis |
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
91
Voted
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
170
Voted
CADE
2011
Springer
13 years 9 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
116
click to vote
FOSAD
2009
Springer
15 years 4 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...