18 citations · 68 across the 14 of their papers we have counts for
1 paper · 1 filter
Stefano Tonetta
Formal properties represent a cornerstone of the system-correctness proofs based on formal verification techniques such as model checking. Formalizing requirements into temporal pr…