C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Joshua Jeppson
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Specification
Temporal Logic
Model Checker
Top Venues
QEST
</>
Publications
</>
Joshua Jeppson
,
Matthias Volk
,
Bryant Israelsen
,
Riley Roberts
,
Andrew Williams
,
Lukas Buecherl
,
Chris J. Myers
,
Hao Zheng
,
Chris Winstead
,
Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
QEST
(2023)