16 citations · 42 across the 9 of their papers we have counts for
1 paper · 2 filters
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
The use of temporal logics has long been recognised as a fundamental approach to the formal specification and verification of reactive systems. In this paper, we take on the proble…