6 citations · 6 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Towards a Feature mu-Calculus Targeting SPL Verification
Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
The modal mu-calculus mu-L is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we propose two variants…
cs.LO2015★ 6 cited
Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here, we propose a behavior…