3147 search results - page 549 / 630 » Open-Source Model Checking |
BIBM
2008
IEEE
14 years 2 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ā...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
ICEIS
2008
IEEE
14 years 2 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...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we consider parity games deļ¬ned by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
EUROMICRO
2007
IEEE
14 years 2 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. ...