Model sketching by abstraction refinement for lifted model checking - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Aleksandar S. Dimovski. Model sketching by abstraction refinement for lifted model checking. In Jiman Hong, Miroslav Bures, Juw Won Park, Tomás Cerný, editors, SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. pages 1845-1848, ACM, 2022. [doi]

The following publications are possibly variants of this publication:

Abstraction-refinement for game-based model checkingAleksandar Dimovski, Dan R. Ghica, Ranko Lazic. galop 2005: 139

runs on WebDSL