@inproceedings(agat2000transforming,
 doi          = {10.1145/325694.325702},
)
@inproceedings(BBK+17,
 doi          = {10.1007/978-3-319-68167-2\_14},
)
@inproceedings(DBLP:conf/cav/BeyerK11,
 doi          = {10.1007/978-3-642-22110-1_16},
)
@inproceedings(DBLP:conf/osdi/CadarDE08,
 url          = {http://www.usenix.org/events/osdi08/tech/full\_papers/cadar/cadar.pdf},
)
@inproceedings(DBLP:conf/birthday/CassezAJ17,
 doi          = {10.1007/978-3-319-63121-9\_28},
)
@inproceedings(chaudhuri2010verifying,
 doi          = {10.1007/978-3-642-14203-1_12},
)
@inproceedings(10.1145/2480362.2480588,
 doi          = {10.1145/2480362.2480588},
)
@inproceedings(DBLP:conf/tacas/DavidJJJMS12,
 doi          = {10.1007/978-3-642-28756-5_36},
)
@article(DBLP:journals/sttt/DavidLLMP15,
 doi          = {10.1007/s10009-014-0361-y},
)
@inproceedings(DBLP:conf/tacas/FalkeMS13,
 doi          = {10.1007/978-3-642-36742-7_48},
)
@article(spin97,
 doi          = {10.1109/32.588521},
)
@article(jackson2019alloy,
 doi          = {10.1145/3338843},
)
@inproceedings(DBLP:conf/iceccs/JensenLLN17,
 doi          = {10.1109/ICECCS.2017.33},
)
@inproceedings(DBLP:conf/tacas/KroeningT14,
 doi          = {10.1007/978-3-642-54862-8\_26},
)
@inproceedings(DBLP:conf/qest/KwiatkowskaNP04,
 doi          = {10.1109/QEST.2004.1348048},
)
@inproceedings(Kwiatkowska2011,
 doi          = {10.1007/978-3-642-22110-1_47},
)
@article(DBLP:journals/sttt/LarsenPY97,
 doi          = {10.1007/s100090050010},
)
@misc(legay2020automatic,
 url          = {https://arxiv.org/abs/2006.02670},
)
@article(DBLP:journals/ase/VisserHBPL03,
 doi          = {10.1023/A:1022920129859},
)
@inproceedings(DBLP:conf/spin/ZaksJ08,
 doi          = {10.1007/978-3-540-85114-1_22},
)