Stuart Matthews

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Complex Systems

Provably Correct

Natural Deduction

Test Generation

Top Venues

Publications

Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy
Co-Developing Programs and Their Proof of Correctness. Commun. ACM 67 (3) (2024)
Thomas Wilson, Stuart Matthews
Crucible Tools for Test Generation and Animation of Alloy Models. ABZ (2023)