scispace - formally typeset
S

Stephen Ricca

Researcher at Rockwell Automation

Publications -  1
Citations -  3

Stephen Ricca is an academic researcher from Rockwell Automation. The author has contributed to research in topics: Formal verification & Software system. The author has an hindex of 1, co-authored 1 publications receiving 3 citations.

Papers
More filters
Proceedings ArticleDOI

Complex system verification (panel): the challenge ahead

TL;DR: This panel will assess the outlook for verification for complex systems, focusing on enabling technologies which show promise in this area, both now and for the future and providing their own perspective of system-level verification challenges.