Gal Katz, Doron Peled. Model Checking Driven Heuristic Search for Correct Programs. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 122-131, Springer, 2008. [doi]
@inproceedings{KatzP08,
title = {Model Checking Driven Heuristic Search for Correct Programs},
author = {Gal Katz and Doron Peled},
year = {2008},
doi = {10.1007/978-3-642-00431-5_8},
url = {http://dx.doi.org/10.1007/978-3-642-00431-5_8},
tags = {meta programming, model checking, meta-model, Meta-Environment, search},
researchr = {https://researchr.org/publication/KatzP08},
cites = {0},
citedby = {0},
pages = {122-131},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers},
editor = {Doron Peled and Michael Wooldridge},
volume = {5348},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00430-8},
}