Login / Signup
Jesse Slater
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Tool Kit
Theorem Prover
Chemical Reaction
Timed Automata
Top Venues
RE
Allerton
</>
Publications
</>
James I. Lathrop
,
Peter-Michael Osera
,
Addison W. Schmidt
,
Jesse Slater
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.
Allerton
(2023)
James I. Lathrop
,
Robyn R. Lutz
,
Cameron Brecount
,
Hugh D. Potter
,
Kathryn Rohlfing
,
Jesse Slater
,
Joshua Wallin
SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line.
RE
(2022)