102 citations · 246 across the 21 of their papers we have counts for
1 paper · 1 filter
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi +1
Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by chan…