Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer. Speeding up model checking by exploiting explicit and hidden verification constraints. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1686-1691, IEEE, 2009. [doi]
@inproceedings{CabodiCGMNQ09,
title = {Speeding up model checking by exploiting explicit and hidden verification constraints},
author = {Gianpiero Cabodi and Paolo Camurati and Luz Garcia and Marco Murciano and Sergio Nocco and Stefano Quer},
year = {2009},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090934&count=326&index=320},
tags = {model checking, meta-model, constraints, Meta-Environment},
researchr = {https://researchr.org/publication/CabodiCGMNQ09},
cites = {0},
citedby = {0},
pages = {1686-1691},
booktitle = {Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009},
publisher = {IEEE},
}