5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.LO2013
Simulations and Bisimulations For Coalgebraic Modal Logics
Daniel Gorín, Lutz Schröder
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in seve…
cs.PL2010★ 5 cited
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of rese…