4047 search results - page 718 / 810 » Algebraic Model Checking |
86
Voted
ICEIS
2008
IEEE
15 years 7 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
120
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
88
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
131
Voted
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...