1492 search results - page 31 / 299 » Automatic Software Model Checking Using CLP |
ICST
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
ASE
2005
15 years 1 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
173
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
126
click to vote
ICONS
2009
IEEE
15 years 8 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...