19 citations · 31 across the 3 of their papers we have counts for
1 paper · 1 filter
Anas AlSobeh
In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes…