4047 search results - page 214 / 810 » Algebraic Model Checking |
154
Voted
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
176
Voted
FM
2006
Springer
15 years 10 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...
167
Voted
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
147
Voted
CAV
2001
Springer
15 years 10 months ago
2001
Springer