2282 search results - page 89 / 457 » Active property checking |
151
click to vote
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
160
click to vote
ATVA
2011
Springer
14 years 4 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
124
click to vote
RULES
1995
Springer
15 years 7 months ago
1995
Springer
Engineering applications that use Active DBMSs (ADBMSs) often need to group activities into modes that are shifted during the execution of different tasks. This paper presents a me...
119
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
118
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...