56 citations · 86 across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 6 cited
A Syntactic-Semantic Approach to Incremental Verification
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…
cs.FL2013
Operator Precedence ω-languages
Federica Panella, Matteo Pradella, Dino Mandrioli +1
ω-languages are becoming more and more relevant nowadays when most applications are 'ever-running'. Recent literature, mainly under the motivation of widening the application of mo…