3224 search results - page 131 / 645 » On Checking Model Checkers |
CMSB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
CAV
2006
Springer
14 years 1 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
POPL
2002
ACM
14 years 10 months ago
2002
ACM
AB
2008
Springer
14 years 4 months ago
2008
Springer