scispace - formally typeset
M

Martin Baynes

Publications -  1
Citations -  3

Martin Baynes is an academic researcher. 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.