3909 search results - page 181 / 782 » Extreme Model Checking |
113
Voted
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
128
Voted
FM
2006
Springer
15 years 6 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...
124
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
138
Voted
AGENTCL
2003
Springer
15 years 6 months ago
2003
Springer
105
Voted
CAV
2001
Springer
15 years 6 months ago
2001
Springer