1980 search results - page 32 / 396 » Compositional Model Checking of Real Time Systems |
PROMAS
2007
Springer
14 years 3 months ago
2007
Springer
FSTTCS
1999
Springer
14 years 1 months ago
1999
Springer
TACAS
2000
Springer
14 years 16 days ago
2000
Springer
EPEW
2010
Springer
13 years 10 months ago
2010
Springer
ICSM
2009
IEEE
14 years 3 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...