1163 search results - page 69 / 233 » Case Studies of Model Checking for Embedded System Designs |
154
click to vote
TSE
2010
14 years 10 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
143
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
178
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
141
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
148
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...