1980 search results - page 32 / 396 » Compositional Model Checking of Real Time Systems |
PROMAS
2007
Springer
15 years 8 months ago
2007
Springer
117
Voted
FSTTCS
1999
Springer
15 years 6 months ago
1999
Springer
97
Voted
EPEW
2010
Springer
15 years 3 months ago
2010
Springer
143
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...