EasyChair Smart Slide
NuRV: a nuXmv Extension for Runtime Verification
NuRV: a nuXmv Extension for Runtime Verification