Login / Signup
Jeannette Wing
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Automated Verification
Fixpoint
Temporal Properties
Model Checking
Top Venues
CoRR
FODS
</>
Publications
</>
Ryan Bernstein
,
Matthijs Vákár
,
Jeannette Wing
Transforming Probabilistic Programs for Model Checking.
FODS
(2020)
Ryan Bernstein
,
Matthijs Vákár
,
Jeannette Wing
Transforming Probabilistic Programs for Model Checking.
CoRR
(2020)