219 search results - page 12 / 44 » Context-Enhanced Directed Model Checking |
118
click to vote
CIMCA
2006
IEEE
15 years 8 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
118
Voted
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
115
click to vote
PVM
2007
Springer
15 years 8 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
140
click to vote
FMSD
2002
15 years 2 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
111
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...