Mitchell Kember

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Automated Verification

Transitive Closure

Directed Acyclic Graph

Temporal Properties

Top Venues

Publications

Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day
Extracting counterexamples from transitive-closure-based model checking. MiSE@ICSE (2019)