3224 search results - page 288 / 645 » On Checking Model Checkers |
197
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
172
click to vote
SIGSOFT
2004
ACM
16 years 2 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
152
click to vote
ISMAR
2007
IEEE
16 years 28 days ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
174
Voted
PAMI
2006
15 years 6 months ago
2006
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...
145
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...