Why publish in Scientific Reports? Scientific Reports is an open access journal publishing original research from across all areas of the natural sciences, psychology, medicine and engineering.

Multiple reports are generated after the LEC completion like non-equivalence.rpt, failing_points.rpt, black_box.rpt, SVF guidance rpts, unmatched_points.rpt, undriven_nets.rpt, multidriven_nets.rpt, ...