25 citations · 99 across the 22 of their papers we have counts for
1 paper · 2 filters
Milan Lopuhaä-Zwakenberg
Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring software system…