Login / Signup
Gordon Stewart
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Model Checker
Reactive Systems
Provably Correct
Formal Methods
Top Venues
IEEE Secur. Priv.
</>
Publications
</>
Gregory Malecha
,
Gordon Stewart
,
Frantisek Farka
,
Jasper Haag
,
Yoichi Hirai
Developing With Formal Methods at BedRock Systems, Inc.
IEEE Secur. Priv.
20 (3) (2022)