56 citations · 86 across the 15 of their papers we have counts for
1 paper · 2 filters
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…