9067 search results - page 177 / 1814 » Adaptive Model Checking |
151
Voted
BIRTHDAY
2004
Springer
15 years 10 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...
165
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
156
Voted
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
181
Voted
AGENTCL
2003
Springer
15 years 9 months ago
2003
Springer
