8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
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…