1 citations · 1 across the 1 of their papers we have counts for
1 paper
Alexander Schulz
Model checking is an important aim of the theoretical computer science. It enables the verification of a model with a set of properties such as liveness, deadlock or safety. One of…