Rahmadi Trimananda
Rahmadi Trimananda
Home
News
Awards & Honors
Projects
Publications
Talks
CV
Google Scholar
Light
Dark
Automatic
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Rahmadi Trimananda
,
Weiyu Luo
,
Brian Demsky
,
Guoqing Harry Xu
October 2021
PDF
Type
Preprint
Publication
Arxiv Preprint
Related
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Cite
×