Ahmed Bouajjani. Regular Model Checking for Programs with Dynamic Memory. In Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea, editors, Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security VISSAS 2005 , Timisoara, Romania, March 17-22, 2005. Volume 1 of NATO Security through Science Series D: Information and Communication Security, pages 17-22, IOS Press, 2005.
@inproceedings{Bouajjani05, title = {Regular Model Checking for Programs with Dynamic Memory}, author = {Ahmed Bouajjani}, year = {2005}, tags = {meta programming, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Bouajjani05}, cites = {0}, citedby = {0}, pages = {17-22}, booktitle = {Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security VISSAS 2005 , Timisoara, Romania, March 17-22, 2005}, editor = {Edmund M. Clarke and Marius Minea and Ferucio Laurentiu Tiplea}, volume = {1}, series = {NATO Security through Science Series D: Information and Communication Security}, publisher = {IOS Press}, isbn = {1-58603-570-3}, }