220 search results - page 13 / 44 » Estimating functional coverage in bounded model checking |
112
click to vote
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
105
click to vote
DFG
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
113
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
AUTOMATICA
2008
14 years 11 months ago
2008
This paper presents a guaranteed method for the parameter estimation of nonlinear models in a bounded-error context. This method is based on functions which consists of the differ...