Edmund M. Clarke, James Faeder, Christopher James Langmead, Leonard Harris, Sumit Kumar Jha and Axel Legay
Distributed Statistical Model Checking of T Cell Receptor Pathway. In Proceedings of CMSB 2008 [Download PDF]
SMC is a technique that uses statistical evidence to perform temporal logic model checking.
Edmund M. Clarke, James Faeder, Christopher James Langmead, Leonard Harris, Sumit Kumar Jha and Axel Legay
Distributed Statistical Model Checking of T Cell Receptor Pathway. In Proceedings of CMSB 2008 [Download PDF]