Login / Signup
Sameer Nayak
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Communication Infrastructure
Image Analysis
Model Checker
Top Venues
SysCon
</>
Publications
</>
J. Jayanthi
,
Manju Nanda
,
Sameer Nayak
A lightweight integration of mutation analysis with the model checker for system safety verification.
SysCon
(2013)