150 citations · 174 across the 4 of their papers we have counts for
1 paper · 1 filter
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen +2
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if th…