27 citations · 46 across the 9 of their papers we have counts for
1 paper · 2 filters
Stefan Wöhrle, Wolfgang Thomas
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic h…